Definition at line 118 of file theory_arith_new.h.
Definition at line 980 of file theory_arith_new.cpp.
References CVC3::ExprMap< Data >::begin(), CVC3::ExprMap< Data >::count(), CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::d_cache, and CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::d_edges.
Referenced by CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::lessThan().
void CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::addEdge | ( | const Expr & | e1, | |
const Expr & | e2 | |||
) |
Definition at line 972 of file theory_arith_new.cpp.
References CVC3::ExprMap< Data >::clear(), CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::d_cache, and CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::dfs().
Referenced by CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::selectLargest(), and CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::selectSmallest().
void TheoryArithNew::VarOrderGraph::selectLargest | ( | const std::vector< Expr > & | v1, | |
std::vector< Expr > & | v2 | |||
) |
Definition at line 1026 of file theory_arith_new.cpp.
References CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::lessThan().
void TheoryArithNew::VarOrderGraph::selectSmallest | ( | std::vector< Expr > & | v1, | |
std::vector< Expr > & | v2 | |||
) |
Definition at line 998 of file theory_arith_new.cpp.
References CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::lessThan().
Referenced by CVC3::TheoryArithNew::assignVariables().
Definition at line 119 of file theory_arith_new.h.
Referenced by CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::dfs().
ExprMap<bool> CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::d_cache [private] |
Definition at line 120 of file theory_arith_new.h.
Referenced by CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::dfs(), and CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph::lessThan().