Searched refs:UStm (Results 1 – 9 of 9) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/libgringo/gringo/ground/ |
| H A D | types.hh | 39 using UStm = std::unique_ptr<Statement>; typedef
40 using UStmVec = std::vector<UStm>;
|
| H A D | statement.hh | 37 using Dep = Dependency<UStm, HeadOccurrence>;
|
| /dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/ |
| H A D | types.hh | 44 using UStm = std::unique_ptr<Statement>; typedef
45 using UStmVec = std::vector<UStm>;
|
| H A D | aggregate.hh | 39 using UStm = std::unique_ptr<Statement>; typedef
40 using UStmVec = std::vector<UStm>;
109 using CreateStm = std::function<Ground::UStm (Ground::ULitVec &&)>;
|
| H A D | program.hh | 63 void add(UStm &&stm);
|
| H A D | programbuilder.hh | 243 using UStm = std::unique_ptr<Statement>; typedef
399 using Statements = std::vector<UStm>;
|
| /dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
| H A D | program.cc | 72 void Program::add(UStm &&stm) { in add()
141 auto rewrite2 = [&](UStm &x) -> void { in rewrite()
151 auto rewrite1 = [&](UStm &x) -> void { in rewrite()
|
| H A D | aggregates.cc | 316 split.emplace_back([&completeRef, this](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
332 split.emplace_back([&completeRef,&y,&x](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
362 split.emplace_back([&completeRef, this](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
370 split.emplace_back([&completeRef,&y,&x](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
762 split.emplace_back([&completeRef](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
1600 {[this, &x](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
1774 split.emplace_back([&completeRef](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
1780 split.emplace_back([&completeRef,&y,&x](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
2175 {[this, &x](Ground::ULitVec &&lits) -> Ground::UStm { in toGround()
|
| H A D | theory.cc | 396 split.emplace_back([&completeRef](Ground::ULitVec &&lits) -> Ground::UStm { in toGroundBody()
402 split.emplace_back([&completeRef,&y,&x](Ground::ULitVec &&lits) -> Ground::UStm { in toGroundBody()
|