Searched refs:NonMemberBVConstEvaluator (Results 1 – 8 of 8) sorted by relevance
| /dports/math/stp/stp-2.3.3/lib/Simplifier/ |
| H A D | consteval.cpp | 40 ASTNode NonMemberBVConstEvaluator(STPMgr* _bm, const Kind k, in NonMemberBVConstEvaluator() function
66 children.push_back(NonMemberBVConstEvaluator(_bm, input_children[i])); in NonMemberBVConstEvaluator()
814 ASTNode NonMemberBVConstEvaluator(STPMgr* mgr, const ASTNode& t) in NonMemberBVConstEvaluator() function
819 return NonMemberBVConstEvaluator(mgr, t.GetKind(), t.GetChildren(), in NonMemberBVConstEvaluator()
833 OutputNode = NonMemberBVConstEvaluator(_bm, t); in BVConstEvaluator()
|
| H A D | Simplifier.cpp | 3309 ASTNode output = NonMemberBVConstEvaluator(_bm, BVPLUS, constkids, in CombineLikeTerms()
|
| /dports/math/stp/stp-2.3.3/lib/Simplifier/constantBitP/ |
| H A D | ConstantBitP_MaxPrecision.cpp | 341 if (beev->ASTTrue == NonMemberBVConstEvaluator(beev, t)) in maxBoundsPrecision()
344 if (beev->ASTTrue == NonMemberBVConstEvaluator(beev, t)) in maxBoundsPrecision()
352 if (beev->ASTTrue == NonMemberBVConstEvaluator(beev, t)) in maxBoundsPrecision()
355 if (beev->ASTTrue == NonMemberBVConstEvaluator(beev, t)) in maxBoundsPrecision()
|
| /dports/math/stp/stp-2.3.3/include/stp/Simplifier/ |
| H A D | Simplifier.h | 35 DLL_PUBLIC ASTNode NonMemberBVConstEvaluator(STPMgr* _bm, const ASTNode& t);
36 DLL_PUBLIC ASTNode NonMemberBVConstEvaluator(STPMgr* _bm, const Kind k,
|
| /dports/math/stp/stp-2.3.3/include/stp/Util/ |
| H A D | Relations.h | 76 ASTNode result = stp::NonMemberBVConstEvaluator(beev, k, c, bitWidth); in Relations()
|
| /dports/math/stp/stp-2.3.3/lib/AbsRefineCounterExample/ |
| H A D | CounterExample.cpp | 343 output = NonMemberBVConstEvaluator(bm, k, o, term.GetValueWidth()); in TermToConstTermUsingModel()
513 output = NonMemberBVConstEvaluator(bm, k, children, form.GetValueWidth()); in ComputeFormulaUsingModel()
535 output = NonMemberBVConstEvaluator(bm, k, children, form.GetValueWidth()); in ComputeFormulaUsingModel()
|
| /dports/math/stp/stp-2.3.3/lib/AST/NodeFactory/ |
| H A D | SimplifyingNodeFactory.cpp | 167 const ASTNode& c = NonMemberBVConstEvaluator(&bm, hash); in CreateNode()
964 ASTNode constant = NonMemberBVConstEvaluator(&bm, BVPLUS, ch, width); in plusRules()
1120 const ASTNode& c = NonMemberBVConstEvaluator(&bm, hash); in CreateTerm()
|
| /dports/math/stp/stp-2.3.3/tools/rewrite_rule_gen/ |
| H A D | rewrite_rule_gen.cpp | 281 ASTNode r = NonMemberBVConstEvaluator(mgr, n.GetKind(), new_children, in eval()
|