CVC3
|
Public Member Functions | |
void | addEdge (const Expr &e1, const Expr &e2) |
bool | lessThan (const Expr &e1, const Expr &e2) |
void | selectLargest (const std::vector< Expr > &v1, std::vector< Expr > &v2) |
void | selectSmallest (std::vector< Expr > &v1, std::vector< Expr > &v2) |
Private Member Functions | |
bool | dfs (const Expr &e1, const Expr &e2) |
Private Attributes | |
ExprMap< std::vector< Expr > > | d_edges |
ExprMap< bool > | d_cache |
Definition at line 115 of file theory_arith3.h.
Definition at line 1734 of file theory_arith3.cpp.
Definition at line 1716 of file theory_arith3.cpp.
References DebugAssert, CVC3::Expr::toString(), and TRACE.
Definition at line 1726 of file theory_arith3.cpp.
void TheoryArith3::VarOrderGraph::selectLargest | ( | const std::vector< Expr > & | v1, |
std::vector< Expr > & | v2 | ||
) |
Definition at line 1780 of file theory_arith3.cpp.
void TheoryArith3::VarOrderGraph::selectSmallest | ( | std::vector< Expr > & | v1, |
std::vector< Expr > & | v2 | ||
) |
Definition at line 1752 of file theory_arith3.cpp.
Referenced by CVC3::TheoryArith3::assignVariables().
Definition at line 116 of file theory_arith3.h.
|
private |
Definition at line 117 of file theory_arith3.h.