CVC3
Public Member Functions | Private Member Functions | Private Attributes

CVC3::TheoryArithOld::VarOrderGraph Class Reference

Collaboration diagram for CVC3::TheoryArithOld::VarOrderGraph:
Collaboration graph
[legend]

List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Detailed Description

Definition at line 136 of file theory_arith_old.h.


Member Function Documentation

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

Definition at line 2109 of file theory_arith_old.cpp.

void TheoryArithOld::VarOrderGraph::dfs ( const Expr e1,
std::vector< Expr > &  output_list 
) [private]

Definition at line 2126 of file theory_arith_old.cpp.

References CVC3::Expr::begin(), CVC3::Expr::toString(), and TRACE.

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

Definition at line 2101 of file theory_arith_old.cpp.

Referenced by CVC3::TheoryArithOld::addPairToArithOrder().

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

Definition at line 2196 of file theory_arith_old.cpp.

void TheoryArithOld::VarOrderGraph::selectSmallest ( std::vector< Expr > &  v1,
std::vector< Expr > &  v2 
)
void TheoryArithOld::VarOrderGraph::getVerticesTopological ( std::vector< Expr > &  output_list)

Member Data Documentation

Definition at line 137 of file theory_arith_old.h.

Definition at line 138 of file theory_arith_old.h.


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