Home
last modified time | relevance | path

Searched refs:ExprManager (Results 1 – 25 of 165) sorted by relevance

1234567

/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dexpr_manager.i5 %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 Dexpr_manager_template.cpp72 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 Dexpr_template.h57 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 Dexpr_manager_template.h53 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 Dpickler.h33 class ExprManager; variable
70 Pickler(ExprManager* em);
102 MapPickler(ExprManager* em, const VarMap& to, const VarMap& from): in MapPickler()
H A Dexpr_template.cpp43 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 Dexpr_manager.cpp92 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 Dexpr.h45 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 Dflwor_expr.h30 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 Dscript_exprs.h106 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 Dupdate_exprs.h70 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 Djson_exprs.h39 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 Dexpr_value.h72 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 Dexpr_manager.h58 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 Dtheorem_manager.h34 class ExprManager; variable
42 ExprManager* d_em;
62 ExprManager* em,
76 ExprManager* getEM() const { return d_em; } in getEM()
H A Dc_interface_defs.h30 typedef struct _cvc_ExprManager *ExprManager; typedef
41 typedef void* ExprManager; typedef
/dports/math/cvc3/cvc3-2.4.1/src/expr/
H A Dexpr_manager.cpp34 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 Dexpr_value.cpp78 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 DExprManager.java5 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 DExprManager_impl.cpp2 jstring c ExprManager exprManager
6 jstring c ExprManager exprManager
/dports/math/cvc4/CVC4-1.7/src/smt/
H A Dcommand.h272 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 Dcommand.cpp46 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 Dbitvector_expr_value.h39 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 DCVC4JavaTest.java21 import edu.nyu.acsys.CVC4.ExprManager;
49 ExprManager em = new ExprManager(); in main()
/dports/math/cvc4/CVC4-1.7/src/parser/
H A Dparser.h270 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);

1234567