Definition at line 118 of file theory_arith_new.h.
Definition at line 977 of file theory_arith_new.cpp.
References CVC3::ExprMap< Data >::count(), d_cache, and d_edges.
Referenced by lessThan().
Definition at line 969 of file theory_arith_new.cpp.
References CVC3::ExprMap< Data >::clear(), d_cache, and dfs().
Referenced by selectLargest(), and selectSmallest().
void TheoryArithNew::VarOrderGraph::selectSmallest | ( | std::vector< Expr > & | v1, | |
std::vector< Expr > & | v2 | |||
) |
Definition at line 995 of file theory_arith_new.cpp.
References lessThan().
Referenced by CVC3::TheoryArithNew::assignVariables().
void CVC3::TheoryArithNew::VarOrderGraph::selectLargest | ( | const std::vector< Expr > & | v1, | |
std::vector< Expr > & | v2 | |||
) |
void CVC3::TheoryArithNew::VarOrderGraph::selectSmallest | ( | std::vector< Expr > & | v1, | |
std::vector< Expr > & | v2 | |||
) |
ExprMap<std::vector<Expr> > CVC3::TheoryArithNew::VarOrderGraph::d_edges [private] |
ExprMap<bool> CVC3::TheoryArithNew::VarOrderGraph::d_cache [private] |
ExprMap<std::vector<Expr> > CVC3::TheoryArithNew::VarOrderGraph::d_edges [private] |
Definition at line 123 of file theory_arith_new.mine.h.
ExprMap<bool> CVC3::TheoryArithNew::VarOrderGraph::d_cache [private] |
Definition at line 124 of file theory_arith_new.mine.h.