Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/
H A DSolver.h92 Var varTrue; variable
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/
H A DSolver.h82 Var varTrue; variable
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/
H A Dast.hh1718 VarDecl* varTrue; member in MiniZinc::Constants