CVC3::TheoryArithNew::VarOrderGraph Class Reference

Collaboration diagram for CVC3::TheoryArithNew::VarOrderGraph:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Detailed Description

Definition at line 118 of file theory_arith_new.h.


Member Function Documentation

bool TheoryArithNew::VarOrderGraph::dfs ( const Expr e1,
const Expr e2 
) [private]

Definition at line 977 of file theory_arith_new.cpp.

References CVC3::ExprMap< Data >::count(), d_cache, and d_edges.

Referenced by lessThan().

void CVC3::TheoryArithNew::VarOrderGraph::addEdge ( const Expr e1,
const Expr e2 
)

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

Definition at line 969 of file theory_arith_new.cpp.

References CVC3::ExprMap< Data >::clear(), d_cache, and dfs().

Referenced by selectLargest(), and selectSmallest().

void TheoryArithNew::VarOrderGraph::selectLargest ( const std::vector< Expr > &  v1,
std::vector< Expr > &  v2 
)

Definition at line 1023 of file theory_arith_new.cpp.

References lessThan().

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

Definition at line 995 of file theory_arith_new.cpp.

References lessThan().

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

bool CVC3::TheoryArithNew::VarOrderGraph::dfs ( const Expr e1,
const Expr e2 
) [private]

void CVC3::TheoryArithNew::VarOrderGraph::addEdge ( const Expr e1,
const Expr e2 
)

bool CVC3::TheoryArithNew::VarOrderGraph::lessThan ( const Expr e1,
const Expr e2 
)

void CVC3::TheoryArithNew::VarOrderGraph::selectLargest ( const std::vector< Expr > &  v1,
std::vector< Expr > &  v2 
)

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


Member Data Documentation

ExprMap<std::vector<Expr> > CVC3::TheoryArithNew::VarOrderGraph::d_edges [private]

Definition at line 119 of file theory_arith_new.h.

Referenced by dfs().

ExprMap<bool> CVC3::TheoryArithNew::VarOrderGraph::d_cache [private]

Definition at line 120 of file theory_arith_new.h.

Referenced by dfs(), and lessThan().

ExprMap<std::vector<Expr> > CVC3::TheoryArithNew::VarOrderGraph::d_edges [private]

Definition at line 123 of file theory_arith_new.mine.h.

ExprMap<bool> CVC3::TheoryArithNew::VarOrderGraph::d_cache [private]

Definition at line 124 of file theory_arith_new.mine.h.


The documentation for this class was generated from the following files:
Generated on Tue Jul 3 14:38:21 2007 for CVC3 by  doxygen 1.5.1