/dports/math/clingo/clingo-5.5.1/libgringo/gringo/output/ |
H A D | statements.hh | 38 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 D | statement.hh | 40 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 D | aggregates.hh | 52 …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 D | literals.hh | 892 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 D | output.hh | 37 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 D | literal.hh | 39 DomainData &domain; 171 bool isTrueClause(DomainData &data, LitVec &lits, IsTrueLookup lookup);
|
H A D | types.hh | 41 class DomainData;
|
/dports/math/dune-grid/dune-grid-de36e4b4e99da4cd7a120a39779345e701821115/dune/grid/io/file/dgfparser/blocks/ |
H A D | boundarydom.hh | 20 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 D | boundarydom.cc | 53 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 D | statements.cc | 129 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 D | output.cc | 45 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 D | statement.cc | 30 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 D | literals.cc | 938 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 D | aggregates.cc | 76 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 D | literal.cc | 15 bool isTrueClause(DomainData &data, LitVec &lits, IsTrueLookup lookup) { in isTrueClause()
|
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/ |
H A D | literals.hh | 50 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 D | types.hh | 34 using Gringo::Output::DomainData;
|
H A D | aggregate.hh | 116 ToGroundArg(unsigned &auxNames, DomainData &domains); 130 DomainData &domains;
|
/dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
H A D | literals.cc | 282 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 D | dgfyasp.hh | 134 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 D | types.hh | 38 using Gringo::Output::DomainData;
|
H A D | statements.hh | 360 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 D | Makefile.am | 71 DomainData.cc \ 72 DomainData.h \
|
/dports/math/clingo/clingo-5.5.1/libgringo/tests/ground/ |
H A D | literal.cc | 51 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 D | ex59.c | 52 } 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 …]
|