CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes
CVC3::TheoryArith3::VarOrderGraph Class Reference

List of all members.

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

Detailed Description

Definition at line 115 of file theory_arith3.h.


Member Function Documentation

bool TheoryArith3::VarOrderGraph::dfs ( const Expr e1,
const Expr e2 
)
private

Definition at line 1734 of file theory_arith3.cpp.

void TheoryArith3::VarOrderGraph::addEdge ( const Expr e1,
const Expr e2 
)

Definition at line 1716 of file theory_arith3.cpp.

References DebugAssert, CVC3::Expr::toString(), and TRACE.

bool TheoryArith3::VarOrderGraph::lessThan ( const Expr e1,
const Expr e2 
)

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().


Member Data Documentation

ExprMap<std::vector<Expr> > CVC3::TheoryArith3::VarOrderGraph::d_edges
private

Definition at line 116 of file theory_arith3.h.

ExprMap<bool> CVC3::TheoryArith3::VarOrderGraph::d_cache
private

Definition at line 117 of file theory_arith3.h.


The documentation for this class was generated from the following files: