CVC3::TheoryArith3::TheoryArith3::VarOrderGraph Class Reference

Collaboration diagram for CVC3::TheoryArith3::TheoryArith3::VarOrderGraph:

Collaboration graph
[legend]

List of all members.

Public Member Functions

Private Member Functions

Private Attributes


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]

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

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

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

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


Member Data Documentation

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

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


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

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