CVC3::TheoryArithNew::VarOrderGraph Class Reference

Collaboration diagram for CVC3::TheoryArithNew::VarOrderGraph:

Public Member Functions
void	addEdge (const Expr &e1, const Expr &e2)
bool	lessThan (const Expr &e1, const Expr &e2)
void	selectLargest (const std::vector< Expr > &v1, std::vector< Expr > &v2)
void	selectSmallest (std::vector< Expr > &v1, std::vector< Expr > &v2)

Private Member Functions
bool	dfs (const Expr &e1, const Expr &e2)

Private Attributes
ExprMap< std::vector< Expr > >	d_edges
ExprMap< bool >	d_cache

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

Definition at line 980 of file theory_arith_new.cpp.

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.

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

Definition at line 1026 of file theory_arith_new.cpp.

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

Definition at line 998 of file theory_arith_new.cpp.

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

Member Data Documentation

ExprMap<std::vector<Expr> > CVC3::TheoryArithNew::VarOrderGraph::d_edges

private

Definition at line 119 of file theory_arith_new.h.

ExprMap<bool> CVC3::TheoryArithNew::VarOrderGraph::d_cache

private

Definition at line 120 of file theory_arith_new.h.

---

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

• theory_arith_new.h
• theory_arith_new.cpp