CVC3
Public Member Functions | Private Member Functions | Private Attributes | List of all members
CVC3::TheoryArithOld::VarOrderGraph Class Reference
Collaboration diagram for CVC3::TheoryArithOld::VarOrderGraph:
Collaboration graph

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)
 
void getVerticesTopological (std::vector< Expr > &output_list)
 

Private Member Functions

bool dfs (const Expr &e1, const Expr &e2)
 
void dfs (const Expr &e1, std::vector< Expr > &output_list)
 

Private Attributes

ExprMap< std::vector< Expr > > d_edges
 
ExprMap< bool > d_cache
 

Detailed Description

Definition at line 136 of file theory_arith_old.h.

Member Function Documentation

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

Definition at line 2111 of file theory_arith_old.cpp.

void TheoryArithOld::VarOrderGraph::dfs ( const Expr e1,
std::vector< Expr > &  output_list 
)
private

Definition at line 2128 of file theory_arith_old.cpp.

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

void TheoryArithOld::VarOrderGraph::addEdge ( const Expr e1,
const Expr e2 
)
bool TheoryArithOld::VarOrderGraph::lessThan ( const Expr e1,
const Expr e2 
)

Definition at line 2103 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 2198 of file theory_arith_old.cpp.

void TheoryArithOld::VarOrderGraph::selectSmallest ( std::vector< Expr > &  v1,
std::vector< Expr > &  v2 
)

Definition at line 2170 of file theory_arith_old.cpp.

Referenced by CVC3::TheoryArithOld::assignVariables().

void TheoryArithOld::VarOrderGraph::getVerticesTopological ( std::vector< Expr > &  output_list)

Member Data Documentation

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.


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