Home
last modified time | relevance | path

Searched defs:VarTermBoundVec (Results 1 – 3 of 3) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libgringo/gringo/
H A Dterm.hh119 using VarTermBoundVec = std::vector<std::pair<VarTerm*,bool>>; typedef
/dports/math/clingo/clingo-5.5.1/libgringo/src/input/
H A Dliterals.cc106 void FalseLiteral::collect(VarTermBoundVec &, bool) const { } in collect() argument
/dports/math/clingo/clingo-5.5.1/libgringo/src/
H A Dterm.cc842 void ValTerm::collect(VarTermBoundVec &, bool) const { } in collect() argument