CVC3::TheoryArithNew::TheoryArithNew::VarOrderGraph Class Reference

Collaboration diagram for CVC3::TheoryArithNew::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]

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

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

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

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


Member Data Documentation

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

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


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

Generated on Thu Oct 15 22:21:32 2009 for CVC3 by  doxygen 1.5.8