/dports/math/cvc4/CVC4-1.7/src/theory/builtin/ |
H A D | theory_builtin.h | 32 const LogicInfo& logicInfo) in TheoryBuiltin() argument 33 : Theory(THEORY_BUILTIN, c, u, out, valuation, logicInfo) {} in TheoryBuiltin()
|
/dports/math/cvc4/CVC4-1.7/src/theory/booleans/ |
H A D | theory_bool.h | 32 Valuation valuation, const LogicInfo& logicInfo) in TheoryBool() argument 33 : Theory(THEORY_BOOL, c, u, out, valuation, logicInfo) in TheoryBool()
|
/dports/math/cvc4/CVC4-1.7/contrib/theoryskel/ |
H A D | theory_DIR.cpp | 14 const LogicInfo& logicInfo) : in Theory$camel() argument 15 Theory(THEORY_$id, c, u, out, valuation, logicInfo) { in Theory$camel()
|
H A D | theory_DIR.h | 20 const LogicInfo& logicInfo);
|
/dports/math/cvc4/CVC4-1.7/contrib/alttheoryskel/ |
H A D | theory_DIR.cpp | 14 const LogicInfo& logicInfo) : in Theory$camel() argument 15 Theory(THEORY_$alt_id, c, u, out, valuation, logicInfo) { in Theory$camel()
|
H A D | theory_DIR.h | 20 const LogicInfo& logicInfo);
|
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | theory_arith.cpp | 35 const LogicInfo& logicInfo) in TheoryArith() argument 36 : Theory(THEORY_ARITH, c, u, out, valuation, logicInfo) in TheoryArith() 37 , d_internal(new TheoryArithPrivate(*this, c, u, out, valuation, logicInfo)) in TheoryArith()
|
H A D | theory_arith.h | 51 Valuation valuation, const LogicInfo& logicInfo);
|
/dports/math/cvc4/CVC4-1.7/src/theory/sets/ |
H A D | theory_sets.cpp | 28 const LogicInfo& logicInfo) in TheorySets() argument 29 : Theory(THEORY_SETS, c, u, out, valuation, logicInfo), in TheorySets()
|
H A D | theory_sets.h | 42 const LogicInfo& logicInfo);
|
/dports/math/cvc4/CVC4-1.7/src/theory/idl/ |
H A D | theory_idl.cpp | 35 const LogicInfo& logicInfo) in TheoryIdl() argument 36 : Theory(THEORY_ARITH, c, u, out, valuation, logicInfo) in TheoryIdl()
|
H A D | theory_idl.h | 48 Valuation valuation, const LogicInfo& logicInfo);
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | theory_quantifiers.cpp | 38 … c, context::UserContext* u, OutputChannel& out, Valuation valuation, const LogicInfo& logicInfo) : in TheoryQuantifiers() argument 39 Theory(THEORY_QUANTIFIERS, c, u, out, valuation, logicInfo) in TheoryQuantifiers()
|
H A D | theory_quantifiers.h | 39 const LogicInfo& logicInfo);
|
/dports/math/cvc4/CVC4-1.7/test/unit/theory/ |
H A D | theory_white.h | 99 Valuation valuation, const LogicInfo& logicInfo) in DummyTheory() argument 100 : Theory(theory::THEORY_BUILTIN, ctxt, uctxt, out, valuation, logicInfo) in DummyTheory()
|
H A D | theory_engine_white.h | 113 …context::UserContext* uctxt, OutputChannel& out, Valuation valuation, const LogicInfo& logicInfo) : in FakeTheory() argument 114 Theory(theoryId, ctxt, uctxt, out, valuation, logicInfo) in FakeTheory()
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | theory.cpp | 60 const LogicInfo& logicInfo, in Theory() argument 66 d_logicInfo(logicInfo), in Theory()
|
H A D | theory.h | 202 const LogicInfo& logicInfo,
|
/dports/math/cvc4/CVC4-1.7/src/theory/fp/ |
H A D | theory_fp.h | 39 Valuation valuation, const LogicInfo& logicInfo);
|
/dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
H A D | theory_bv.h | 70 Valuation valuation, const LogicInfo& logicInfo,
|
/dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
H A D | theory_uf.h | 274 Valuation valuation, const LogicInfo& logicInfo,
|
H A D | theory_uf.cpp | 46 const LogicInfo& logicInfo, in TheoryUF() argument 48 : Theory(THEORY_UF, c, u, out, valuation, logicInfo, instanceName), in TheoryUF()
|
/dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
H A D | theory_sep.h | 66 …* c, context::UserContext* u, OutputChannel& out, Valuation valuation, const LogicInfo& logicInfo);
|
/dports/math/cvc4/CVC4-1.7/src/theory/arrays/ |
H A D | theory_arrays.h | 143 Valuation valuation, const LogicInfo& logicInfo,
|
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ |
H A D | theory_datatypes.h | 263 const LogicInfo& logicInfo);
|