CVC3::TheoryArith3::VarOrderGraph Class Reference

Collaboration diagram for CVC3::TheoryArith3::VarOrderGraph:

List of all members.

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 116 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.

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

Definition at line 1716 of file theory_arith3.cpp.

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

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

Definition at line 1726 of file theory_arith3.cpp.

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

Definition at line 1780 of file theory_arith3.cpp.

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

Definition at line 1752 of file theory_arith3.cpp.

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

---

Member Data Documentation

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

Definition at line 117 of file theory_arith3.h.

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

Definition at line 118 of file theory_arith3.h.

---

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

• theory_arith3.h
• theory_arith3.cpp