/dports/math/cvc4/CVC4-1.7/src/expr/ |
H A D | expr_manager.i | 5 %typemap(javacode) CVC4::ExprManager %{ 10 %typemap(javaconstruct) ExprManager { 30 %ignore CVC4::ExprManager::mkExpr(Expr); 31 %ignore CVC4::ExprManager::mkExpr(Expr, Expr); 32 %ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr); 33 %ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr, Expr); 39 %ignore CVC4::stats::getStatisticsRegistry(ExprManager*); 70 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Rational>; 73 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::String>; 79 %template(mkBoolConst) CVC4::ExprManager::mkConst<bool>; [all …]
|
H A D | expr_manager_template.cpp | 72 ExprManager::ExprManager() : in ExprManager() function in CVC4::ExprManager 84 ExprManager::ExprManager(const Options& options) : in ExprManager() function in CVC4::ExprManager 96 ExprManager::~ExprManager() in ~ExprManager() 142 StringType ExprManager::stringType() const { in stringType() 147 RegExpType ExprManager::regExpType() const { in regExpType() 152 RealType ExprManager::realType() const { in realType() 383 Expr ExprManager::mkExpr(Expr opExpr) { in mkExpr() 556 bool ExprManager::hasOperator(Kind k) { in hasOperator() 560 Expr ExprManager::operatorOf(Kind k) { in operatorOf() 1038 Node exportInternal(TNode n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap); [all …]
|
H A D | expr_template.h | 57 class ExprManager; variable 102 TypeCheckingException(ExprManager* em, 128 friend class ExprManager; variable 215 friend class ExprManager; variable 230 ExprManager* d_exprManager; 238 Expr(ExprManager* em, NodeTemplate<true>* node); 413 ExprManager* d_exprManager; 416 explicit const_iterator(ExprManager*, void*); 571 ExprManager* getExprManager() const; 578 …Expr exportTo(ExprManager* exprManager, ExprManagerMapCollection& variableMap, uint32_t flags = 0)…
|
H A D | expr_manager_template.h | 53 class CVC4_PUBLIC ExprManager { 86 ExprManager(const ExprManager&) = delete; 87 ExprManager& operator=(const ExprManager&) = delete; 97 ExprManager(); 105 explicit ExprManager(const Options& options); 112 ~ExprManager(); 575 static Type exportType(const Type& t, ExprManager* em, ExprManagerMapCollection& vmap);
|
H A D | pickler.h | 33 class ExprManager; variable 70 Pickler(ExprManager* em); 102 MapPickler(ExprManager* em, const VarMap& to, const VarMap& from): in MapPickler()
|
H A D | expr_template.cpp | 43 class ExprManager; 106 ExprManager* em, const TypeCheckingExceptionPrivate* exc) in TypeCheckingException() 129 Expr::Expr(ExprManager* em, Node* node) : in Expr() 148 ExprManager* Expr::getExprManager() const { in getExprManager() 159 ExprManager* from; 160 ExprManager* to; 165 …ExportPrivate(ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap, uint32_t flags) … in ExportPrivate() 215 …to_e = to->mkVar(name, type, isGlobal ? ExprManager::VAR_FLAG_GLOBAL : flags);// FIXME thread safe… in exportInternal() 307 Expr Expr::exportTo(ExprManager* exprManager, ExprManagerMapCollection& variableMap, in exportTo() 481 Expr::const_iterator::const_iterator(ExprManager* em, void* v) in const_iterator() [all …]
|
/dports/textproc/zorba/zorba-2.7.0/src/compiler/expression/ |
H A D | expr_manager.cpp | 92 ExprManager::ExprManager(CompilerCB* ccb) in ExprManager() function in zorba::ExprManager 102 ExprManager::~ExprManager() in ~ExprManager() 168 void ExprManager::reg(expr* exp) in reg() 198 void ExprManager::reg(pragma* pragma) in reg() 220 if_expr* ExprManager::create_if_expr( in create_if_expr() 379 pi_expr* ExprManager::create_pi_expr( in create_pi_expr() 827 fo_expr* ExprManager::create_fo_expr( in create_fo_expr() 837 fo_expr* ExprManager::create_fo_expr( in create_fo_expr() 848 fo_expr* ExprManager::create_fo_expr( in create_fo_expr() 857 fo_expr* ExprManager::create_fo_expr( in create_fo_expr() [all …]
|
H A D | expr.h | 45 class ExprManager; variable 56 friend class ExprManager; variable 96 friend class ExprManager; variable 134 friend class ExprManager; variable 253 friend class ExprManager; variable 291 friend class ExprManager; variable 370 friend class ExprManager; variable 428 friend class ExprManager; variable 462 friend class ExprManager; variable 501 friend class ExprManager; variable [all …]
|
H A D | flwor_expr.h | 30 class ExprManager; variable 50 friend class ExprManager; variable 141 friend class ExprManager; variable 176 friend class ExprManager; variable 223 friend class ExprManager; variable 265 friend class ExprManager; variable 345 friend class ExprManager; variable 432 friend class ExprManager; variable 510 friend class ExprManager; variable 569 friend class ExprManager; variable [all …]
|
H A D | script_exprs.h | 106 friend class ExprManager; variable 153 friend class ExprManager; variable 214 friend class ExprManager; variable 260 friend class ExprManager; variable 298 friend class ExprManager; variable 346 friend class ExprManager; variable 395 friend class ExprManager; variable 430 friend class ExprManager; variable
|
H A D | update_exprs.h | 70 friend class ExprManager; variable 103 friend class ExprManager; variable 125 friend class ExprManager; variable 159 friend class ExprManager; variable 190 friend class ExprManager; variable 219 friend class ExprManager; variable
|
H A D | json_exprs.h | 39 friend class ExprManager; variable 74 friend class ExprManager; variable 114 friend class ExprManager; variable
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | expr_value.h | 72 friend class ExprManager; variable 132 ExprManager* d_em; 416 friend class ExprManager; variable 489 friend class ExprManager; variable 536 friend class ExprManager; variable 562 friend class ExprManager; variable 661 friend class ExprManager; variable 702 friend class ExprManager; variable 743 friend class ExprManager; variable 784 friend class ExprManager; variable [all …]
|
H A D | expr_manager.h | 58 class CVC_DLL ExprManager { 117 ExprManager* d_em; 119 HashEV(ExprManager* em): d_em(em) { } in HashEV() 237 ~ExprManager(); 430 ExprManager* d_em; 454 inline Expr ExprManager::newLeafExpr(const Op& op) in newLeafExpr() 506 inline Expr ExprManager::newClosureExpr(int kind, in newClosureExpr() 511 inline Expr ExprManager::newClosureExpr(int kind, in newClosureExpr() 516 inline Expr ExprManager::newClosureExpr(int kind, in newClosureExpr() 523 inline Expr ExprManager::newClosureExpr(int kind, in newClosureExpr() [all …]
|
H A D | theorem_manager.h | 34 class ExprManager; variable 42 ExprManager* d_em; 62 ExprManager* em, 76 ExprManager* getEM() const { return d_em; } in getEM()
|
H A D | c_interface_defs.h | 30 typedef struct _cvc_ExprManager *ExprManager; typedef 41 typedef void* ExprManager; typedef
|
/dports/math/cvc3/cvc3-2.4.1/src/expr/ |
H A D | expr_manager.cpp | 34 static void registerKinds(ExprManager& em); 70 ExprManager::ExprManager(ContextManager* cm, const CLFlags& flags) in ExprManager() function in ExprManager 125 ExprManager::~ExprManager() { in ~ExprManager() 141 void ExprManager::clear() { in clear() 188 void ExprManager::gc(ExprValue* ev) { in gc() 212 ExprManager::resumeGC() { in resumeGC() 226 Expr ExprManager::rebuild(const Expr& e) { in rebuild() 251 Expr ExprManager::rebuildRec(const Expr& e) { in rebuildRec() 334 ExprManager::indent(int n, bool permanent) { in indent() 354 ExprManager::getInputLang() const { in getInputLang() [all …]
|
H A D | expr_value.cpp | 78 ExprValue* ExprValue::copy(ExprManager* em, ExprIndex idx) const { in copy() 91 ExprValue* ExprNodeTmp::copy(ExprManager* em, ExprIndex idx) const { in copy() 131 ExprValue* ExprNode::copy(ExprManager* em, ExprIndex idx) const { in copy() 151 ExprValue* ExprString::copy(ExprManager* em, ExprIndex idx) const { in copy() 164 ExprValue* ExprSkolem::copy(ExprManager* em, ExprIndex idx) const { in copy() 181 ExprValue* ExprRational::copy(ExprManager* em, ExprIndex idx) const { in copy() 193 ExprValue* ExprVar::copy(ExprManager* em, ExprIndex idx) const { in copy() 205 ExprValue* ExprSymbol::copy(ExprManager* em, ExprIndex idx) const { in copy() 218 ExprValue* ExprBoundVar::copy(ExprManager* em, ExprIndex idx) const { in copy() 231 ExprValue* ExprApply::copy(ExprManager* em, ExprIndex idx) const { in copy() [all …]
|
/dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/ |
H A D | ExprManager.java | 5 public class ExprManager extends Embedded { class 7 private static native String jniGetInputLanguage(Object ExprManager) throws Cvc3Exception; in jniGetInputLanguage() argument 8 private static native String jniGetOutputLanguage(Object ExprManager) throws Cvc3Exception; in jniGetOutputLanguage() argument 12 public ExprManager(Object ExprManager, EmbeddedManager embeddedManager) { in ExprManager() method in ExprManager 13 super(ExprManager, embeddedManager); in ExprManager()
|
H A D | ExprManager_impl.cpp | 2 jstring c ExprManager exprManager 6 jstring c ExprManager exprManager
|
/dports/math/cvc4/CVC4-1.7/src/smt/ |
H A D | command.h | 272 ExprManager* d_exprManager; 296 Command* exportTo(ExprManager* exprManager, 314 Command* exportTo(ExprManager* exprManager, 335 Command* exportTo(ExprManager* exprManager, 345 Command* exportTo(ExprManager* exprManager, 355 Command* exportTo(ExprManager* exprManager, 390 Command* exportTo(ExprManager* exprManager, 409 Command* exportTo(ExprManager* exprManager, 431 Command* exportTo(ExprManager* exprManager, 456 Command* exportTo(ExprManager* exprManager, [all …]
|
H A D | command.cpp | 46 std::vector<Expr> ExportTo(ExprManager* exprManager, in ExportTo() 244 Command* EmptyCommand::exportTo(ExprManager* exprManager, in exportTo() 275 Command* EchoCommand::exportTo(ExprManager* exprManager, in exportTo() 311 Command* AssertCommand::exportTo(ExprManager* exprManager, in exportTo() 346 Command* PushCommand::exportTo(ExprManager* exprManager, in exportTo() 376 Command* PopCommand::exportTo(ExprManager* exprManager, in exportTo() 546 Command* QueryCommand::exportTo(ExprManager* exprManager, in exportTo() 985 Command* QuitCommand::exportTo(ExprManager* exprManager, in exportTo() 1667 ExprManager* em = smtEngine->getExprManager(); in invoke() 2696 ExprManager* em = smtEngine->getExprManager(); in invoke() [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/ |
H A D | bitvector_expr_value.h | 39 BVConstExpr(ExprManager* em, std::string bvconst, 43 BVConstExpr(ExprManager* em, std::vector<bool> bvconst, 46 ExprValue* copy(ExprManager* em, ExprIndex idx = 0) const {
|
/dports/math/cvc4/CVC4-1.7/test/system/ |
H A D | CVC4JavaTest.java | 21 import edu.nyu.acsys.CVC4.ExprManager; 49 ExprManager em = new ExprManager(); in main()
|
/dports/math/cvc4/CVC4-1.7/src/parser/ |
H A D | parser.h | 270 ExprManager* getExprManager() const; 462 uint32_t flags = ExprManager::VAR_FLAG_NONE, 477 uint32_t flags = ExprManager::VAR_FLAG_NONE, 497 uint32_t flags = ExprManager::VAR_FLAG_NONE, 509 uint32_t flags = ExprManager::VAR_FLAG_NONE); 545 uint32_t flags = ExprManager::SORT_FLAG_NONE); 553 uint32_t flags = ExprManager::SORT_FLAG_NONE);
|