Definition at line 115 of file theory_arith3.h.
Definition at line 1734 of file theory_arith3.cpp.
References CVC3::ExprMap< Data >::begin(), CVC3::ExprMap< Data >::count(), CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::d_cache, and CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::d_edges.
Referenced by CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::lessThan().
Definition at line 1716 of file theory_arith3.cpp.
References CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::d_edges, DebugAssert, CVC3::Expr::toString(), and CVC3::TRACE.
Referenced by CVC3::TheoryArith3::pickMonomial().
Definition at line 1726 of file theory_arith3.cpp.
References CVC3::ExprMap< Data >::clear(), CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::d_cache, and CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::dfs().
Referenced by CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::selectLargest(), and CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::selectSmallest().
void TheoryArith3::VarOrderGraph::selectLargest | ( | const std::vector< Expr > & | v1, | |
std::vector< Expr > & | v2 | |||
) |
Definition at line 1780 of file theory_arith3.cpp.
References CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::lessThan().
Referenced by CVC3::TheoryArith3::pickMonomial().
void TheoryArith3::VarOrderGraph::selectSmallest | ( | std::vector< Expr > & | v1, | |
std::vector< Expr > & | v2 | |||
) |
Definition at line 1752 of file theory_arith3.cpp.
References CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::lessThan().
Referenced by CVC3::TheoryArith3::assignVariables().
Definition at line 116 of file theory_arith3.h.
Referenced by CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::addEdge(), and CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::dfs().
ExprMap<bool> CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::d_cache [private] |
Definition at line 117 of file theory_arith3.h.
Referenced by CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::dfs(), and CVC3::TheoryArith3::TheoryArith3::VarOrderGraph::lessThan().