CVC3
|
Definition at line 136 of file theory_arith_old.h.
Definition at line 2109 of file theory_arith_old.cpp.
void TheoryArithOld::VarOrderGraph::dfs | ( | const Expr & | e1, |
std::vector< Expr > & | output_list | ||
) | [private] |
Definition at line 2126 of file theory_arith_old.cpp.
References CVC3::Expr::begin(), CVC3::Expr::toString(), and TRACE.
Definition at line 2091 of file theory_arith_old.cpp.
References DebugAssert, CVC3::Expr::toString(), and TRACE.
Referenced by CVC3::TheoryArithOld::addPairToArithOrder().
Definition at line 2101 of file theory_arith_old.cpp.
Referenced by CVC3::TheoryArithOld::addPairToArithOrder().
void TheoryArithOld::VarOrderGraph::selectLargest | ( | const std::vector< Expr > & | v1, |
std::vector< Expr > & | v2 | ||
) |
Definition at line 2196 of file theory_arith_old.cpp.
void TheoryArithOld::VarOrderGraph::selectSmallest | ( | std::vector< Expr > & | v1, |
std::vector< Expr > & | v2 | ||
) |
Definition at line 2168 of file theory_arith_old.cpp.
References CVC3::ExprMap< Data >::size().
Referenced by CVC3::TheoryArithOld::assignVariables().
void TheoryArithOld::VarOrderGraph::getVerticesTopological | ( | std::vector< Expr > & | output_list | ) |
Definition at line 2150 of file theory_arith_old.cpp.
References CVC3::ExprMap< Data >::begin(), and CVC3::ExprMap< Data >::end().
Referenced by CVC3::TheoryArithOld::computeTermBounds().
ExprMap<std::vector<Expr> > CVC3::TheoryArithOld::VarOrderGraph::d_edges [private] |
Definition at line 137 of file theory_arith_old.h.
ExprMap<bool> CVC3::TheoryArithOld::VarOrderGraph::d_cache [private] |
Definition at line 138 of file theory_arith_old.h.