CVC3::TheoryArith3::VarOrderGraph Class Reference

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]

Definition at line 1734 of file theory_arith3.cpp.

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

Referenced by lessThan().

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

Definition at line 1726 of file theory_arith3.cpp.

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

Referenced by selectLargest(), and selectSmallest().

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

Definition at line 1780 of file theory_arith3.cpp.

References lessThan().

Referenced by CVC3::TheoryArith3::pickMonomial().

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

Definition at line 1752 of file theory_arith3.cpp.

References lessThan().

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


Member Data Documentation

Definition at line 116 of file theory_arith3.h.

Referenced by addEdge(), and dfs().

Definition at line 117 of file theory_arith3.h.

Referenced by dfs(), and lessThan().


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

Generated on 19 Apr 2010 for CVC3 by  doxygen 1.6.1