CVC3::TheoryArithNew::VarOrderGraph Class Reference

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::VarOrderGraph::addEdge ( const Expr e1,
const Expr e2 
)
bool TheoryArithNew::VarOrderGraph::lessThan ( const Expr e1,
const Expr e2 
)

Definition at line 972 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 1026 of file theory_arith_new.cpp.

References lessThan().

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

Definition at line 998 of file theory_arith_new.cpp.

References lessThan().

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


Member Data Documentation

Definition at line 119 of file theory_arith_new.h.

Referenced by dfs().

Definition at line 120 of file theory_arith_new.h.

Referenced by dfs(), and lessThan().


The documentation for this class was generated from the following files:
Generated by  doxygen 1.6.2-20100208