Home
last modified time | relevance | path

Searched refs:DomainData (Results 1 – 25 of 51) sorted by relevance

123

/dports/math/clingo/clingo-5.5.1/libgringo/gringo/output/
H A Dstatements.hh38 void output(DomainData &data, UBackend &out) const override;
40 void translate(DomainData &data, Translator &trans) override;
55 Rule &negatePrevious(DomainData &data);
161 void translate(DomainData &data, Translator &x) override;
177 void translate(DomainData &data, Translator &x) override;
204 bool init(DomainData &data, Translator &x, Logger &log);
257 bool translate(DomainData &data, Translator &x);
317 void output(DomainData &data, Statement &x);
320 LiteralId removeNotNot(DomainData &data, LiteralId lit);
338 void translateMinimize(DomainData &data);
[all …]
H A Dstatement.hh40 virtual void output(DomainData &data, Statement &stm) = 0;
47 void replaceDelayed(DomainData &data, LiteralId &lit, LitVec &delayed);
48 void replaceDelayed(DomainData &data, LitVec &lits, LitVec &delayed);
49 void translate(DomainData &data, Translator &x, LiteralId &lit);
50 void translate(DomainData &data, Translator &x, LitVec &lits);
55 virtual void output(DomainData &data, UBackend &out) const = 0;
57 virtual void translate(DomainData &data, Translator &trans) = 0;
58 virtual void replaceDelayed(DomainData &data, LitVec &delayed) = 0;
60 void passTo(DomainData &data, AbstractOutput &out) { out.output(data, *this); } in passTo()
H A Daggregates.hh52 …AggregateAnalyzer(DomainData &data, NAF naf, DisjunctiveBounds const &disjunctiveBounds, Aggregate…
54 …LitValVec translateElems(DomainData &data, Translator &x, AggregateFunction fun, BodyAggregateElem…
75 LiteralId getEqualClause(DomainData &data, Translator &x, std::pair<Id_t, Id_t> clause, bool conjun…
76 LiteralId getEqualFormula(DomainData &data, Translator &x, Formula const &formula, bool conjunctive…
77 LiteralId getEqualAggregate(DomainData &data, Translator &x, AggregateFunction fun, NAF naf, Disjun…
81 …LiteralId translate(DomainData &data, Translator &x, AggregateAnalyzer &res, bool isMin, LitValVec…
86 …void addLiteral(DomainData &data, LiteralId const &lit, Potassco::Weight_t weight, bool recursive);
87 …void translate(DomainData &data, Translator &x, LiteralId const &head, Potassco::Weight_t bound, L…
88 …LiteralId translate(DomainData &data, Translator &x, ConjunctiveBounds &bounds, bool convex, bool …
H A Dliterals.hh892 DomainData &data_;
914 DomainData &data_;
933 DomainData &data_;
953 DomainData &data_;
972 DomainData &data_;
991 DomainData &data_;
1011 DomainData &data_;
1030 DomainData &data_;
1088 class DomainData { class
1096 DomainData(DomainData &&) = delete;
[all …]
H A Doutput.hh37 void output(DomainData &data, Statement &stm) override;
45 void output(DomainData &data, Statement &stm) override;
55 void output(DomainData &data, Statement &stm) override;
113 DomainData data;
H A Dliteral.hh39 DomainData &domain;
171 bool isTrueClause(DomainData &data, LitVec &lits, IsTrueLookup lookup);
H A Dtypes.hh41 class DomainData;
/dports/math/dune-grid/dune-grid-de36e4b4e99da4cd7a120a39779345e701821115/dune/grid/io/file/dgfparser/blocks/
H A Dboundarydom.hh20 struct DomainData struct
24 DomainData () in DomainData() function
30 ~DomainData () { } in ~DomainData() argument
33 DomainData ( int id, BoundaryParameter parameter, bool defaultData = false ) in DomainData() argument
71 friend std::ostream & operator<< ( std :: ostream & os, const DomainData & ddata ) in operator <<()
109 Domain( std::vector< double > p1, std::vector< double > p2, DomainData & data ) in Domain()
164 const DomainData & data () const in data()
187 DomainData data_;
203 DomainData * default_;
240 const DomainData * defaultData () const in defaultData()
[all …]
H A Dboundarydom.cc53 default_ = new DomainData( id, parameter, true ); in BoundaryDomBlock()
90 DomainData data( id, parameter ); in readBlock()
/dports/math/clingo/clingo-5.5.1/libgringo/src/output/
H A Dstatements.cc129 Rule &Rule::negatePrevious(DomainData &data) { in negatePrevious()
147 void Rule::translate(DomainData &data, Translator &x) { in translate()
161 void Rule::output(DomainData &data, UBackend &out) const { in output()
173 void Rule::replaceDelayed(DomainData &data, LitVec &delayed) { in replaceDelayed()
197 void External::translate(DomainData &data, Translator &x) { in translate()
201 void External::output(DomainData &data, UBackend &out) const { in output()
206 void External::replaceDelayed(DomainData &data, LitVec &) { in replaceDelayed()
237 void ShowStatement::output(DomainData &, UBackend &) const { in output() argument
707 void Translator::output(DomainData &data, Statement &stm) { in output()
771 void Translator::translateMinimize(DomainData &data) { in translateMinimize()
[all …]
H A Doutput.cc45 void output(DomainData &, UBackend &) const override { } in output() argument
54 void translate(DomainData &data, Translator &trans) override { in translate()
58 void replaceDelayed(DomainData &, LitVec &) override { } in replaceDelayed() argument
72 void output(DomainData &, UBackend &) const override { } in output() argument
78 void replaceDelayed(DomainData &, LitVec &) override { } in replaceDelayed() argument
95 void output(DomainData &, UBackend &) const override { } in output() argument
106 void replaceDelayed(DomainData &, LitVec &) override { } in replaceDelayed() argument
145 void BackendOutput::output(DomainData &data, Statement &stm) { in output()
285 BackendTheoryOutput(DomainData &data, AbstractOutput &out) in BackendTheoryOutput()
316 DomainData &data_;
[all …]
H A Dstatement.cc30 void replaceDelayed(DomainData &data, LiteralId &lit, LitVec &delayed) { in replaceDelayed()
44 void replaceDelayed(DomainData &data, LitVec &lits, LitVec &delayed) { in replaceDelayed()
48 void translate(DomainData &data, Translator &x, LiteralId &lit) { in translate()
52 void translate(DomainData &data, Translator &x, LitVec &lits) { in translate()
H A Dliterals.cc938 AuxLiteral::AuxLiteral(DomainData &data, LiteralId id) in AuxLiteral()
1815 int DomainData::termNum(Id_t value) const { in termNum()
1819 char const *DomainData::termName(Id_t value) const { in termName()
1835 auto &data = const_cast<DomainData&>(*this); in elemCond()
1855 bool DomainData::atomHasGuard(Id_t value) const { in atomHasGuard()
1867 Potassco::Id_t DomainData::numAtoms() const { in numAtoms()
1871 std::string DomainData::termStr(Id_t value) const { in termStr()
1877 std::string DomainData::elemStr(Id_t value) const { in elemStr()
1879 auto &data = const_cast<DomainData&>(*this); in elemStr()
1884 std::string DomainData::atomStr(Id_t value) const { in atomStr()
[all …]
H A Daggregates.cc76 AggregateAnalyzer::AggregateAnalyzer(DomainData &data, NAF naf, DisjunctiveBounds const &disjunctiv… in AggregateAnalyzer()
170 LitValVec AggregateAnalyzer::translateElems(DomainData &data, Translator &x, AggregateFunction fun,… in translateElems()
183 LiteralId MinMaxTranslator::translate(DomainData &data, Translator &x, AggregateAnalyzer &res, bool… in translate()
254 void SumTranslator::addLiteral(DomainData &data, LiteralId const &lit, Potassco::Weight_t weight, b… in addLiteral()
273 void SumTranslator::translate(DomainData &data, Translator &x, LiteralId const &head, Potassco::Wei… in translate()
292 LiteralId SumTranslator::translate(DomainData &data, Translator &x, ConjunctiveBounds &bounds, bool… in translate()
334 LiteralId getEqualClause(DomainData &data, Translator &x, IteratorRange<LitVec::const_iterator> cla… in getEqualClause()
368 LiteralId getEqualClause(DomainData &data, Translator &x, std::pair<Id_t, Id_t> id, bool conjunctiv… in getEqualClause()
382 LiteralId getEqualFormula(DomainData &data, Translator &x, Formula const &formula, bool conjunctive… in getEqualFormula()
390 LiteralId getEqualAggregate(DomainData &data, Translator &x, AggregateFunction fun, NAF naf, Disjun… in getEqualAggregate()
H A Dliteral.cc15 bool isTrueClause(DomainData &data, LitVec &lits, IsTrueLookup lookup) { in isTrueClause()
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/
H A Dliterals.hh50 Ground::ULit toGround(DomainData &x, bool auxiliary) const override;
66 Ground::ULit toGround(DomainData &x, bool auxiliary) const override;
89 Ground::ULit toGround(DomainData &x, bool auxiliary) const override;
119 Ground::ULit toGround(DomainData &x, bool auxiliary) const override;
148 Ground::ULit toGround(DomainData &x, bool auxiliary) const override;
178 Ground::ULit toGround(DomainData &x, bool auxiliary) const override;
207 Ground::ULit toGround(DomainData &x, bool auxiliary) const override;
H A Dtypes.hh34 using Gringo::Output::DomainData;
H A Daggregate.hh116 ToGroundArg(unsigned &auxNames, DomainData &domains);
130 DomainData &domains;
/dports/math/clingo/clingo-5.5.1/libgringo/src/input/
H A Dliterals.cc282 inline Ground::ULit RelationLiteral::toGround(DomainData &, bool) const { in toGround() argument
285 inline Ground::ULit RangeLiteral::toGround(DomainData &, bool) const { in toGround() argument
288 inline Ground::ULit FalseLiteral::toGround(DomainData &, bool) const { in toGround() argument
291 inline Ground::ULit ScriptLiteral::toGround(DomainData &, bool) const { in toGround() argument
294 inline Ground::ULit CSPLiteral::toGround(DomainData &data, bool auxiliary) const { in toGround()
417 inline Ground::ULit PredicateLiteral::toGround(DomainData &x, bool auxiliary) const { in toGround()
449 inline Ground::ULit ProjectionLiteral::toGround(DomainData &x, bool auxiliary) const { in toGround()
/dports/math/dune-grid/dune-grid-de36e4b4e99da4cd7a120a39779345e701821115/dune/grid/io/file/dgfparser/
H A Ddgfyasp.hh134 const dgf::DomainData *data = boundaryDomainBlock_->contains( corners ); in boundaryId()
164 const dgf::DomainData *data = boundaryDomainBlock_->contains( corners ); in boundaryParameter()
336 const dgf::DomainData *data = boundaryDomainBlock_->contains( corners ); in boundaryId()
366 const dgf::DomainData *data = boundaryDomainBlock_->contains( corners ); in boundaryParameter()
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/ground/
H A Dtypes.hh38 using Gringo::Output::DomainData;
H A Dstatements.hh360 BodyAggregateComplete(DomainData &data, UTerm &&repr, AggregateFunction fun, BoundVec &&bounds);
489 …AssignmentAggregateComplete(DomainData &data, UTerm &&repr, UTerm &&dataRepr, AggregateFunction fu…
649 ConjunctionComplete(DomainData &data, UTerm &&repr, UTermVec &&local);
660 void reportCond(DomainData &data, Symbol cond, Output::LitVec &lits, Logger &log);
661 void reportHead(DomainData &data, Symbol cond, Output::LitVec &lits, Logger &log);
780 DisjointComplete(DomainData &data, UTerm &&repr);
900 TheoryComplete(DomainData &data, UTerm &&repr, TheoryAtomType type, UTerm &&name);
901 …TheoryComplete(DomainData &data, UTerm &&repr, TheoryAtomType type, UTerm &&name, String op, Outpu…
1023 HeadAggregateComplete(DomainData &data, UTerm &&repr, AggregateFunction fun, BoundVec &&bounds);
1179 DisjunctionComplete(DomainData &data, UTerm &&repr);
/dports/www/squid/squid-4.15/src/acl/
H A DMakefile.am71 DomainData.cc \
72 DomainData.h \
/dports/math/clingo/clingo-5.5.1/libgringo/tests/ground/
H A Dliteral.cc51 DomainData data(theory); in evalRange()
66 DomainData data(theory); in evalRelation()
86 DomainData data(theory); in evalPred()
/dports/science/PETSc/petsc-3.14.1/src/ksp/ksp/tutorials/
H A Dex59.c52 } DomainData; typedef
67 static PetscErrorCode BuildCSRGraph(DomainData dd, PetscInt **xadj, PetscInt **adjncy) in BuildCSRGraph()
180 static PetscErrorCode ComputeSpecialBoundaryIndices(DomainData dd,IS *dirichlet,IS *neumann) in ComputeSpecialBoundaryIndices()
291 static PetscErrorCode ComputeMapping(DomainData dd,ISLocalToGlobalMapping *isg2lmap) in ComputeMapping()
462 static PetscErrorCode GLLStuffs(DomainData dd, GLLData *glldata) in GLLStuffs()
642 static PetscErrorCode DomainDecomposition(DomainData *dd) in DomainDecomposition()
712 static PetscErrorCode ComputeMatrix(DomainData dd, Mat *A) in ComputeMatrix()
774 static PetscErrorCode ComputeKSPFETIDP(DomainData dd, KSP ksp_bddc, KSP *ksp_fetidp) in ComputeKSPFETIDP()
815 static PetscErrorCode ComputeKSPBDDC(DomainData dd,Mat A,KSP *ksp) in ComputeKSPBDDC()
933 static PetscErrorCode InitializeDomainData(DomainData *dd) in InitializeDomainData()
[all …]

123