StackEqn Struct Reference

A stack equation. More...

Static Public Member Functions
static bool	compare (const StackEqn &a, const StackEqn &b)
	Order two equations. More...

Public Attributes
int4	var1
	Variable with 1 coefficient.
int4	var2
	Variable with -1 coefficient.
int4	rhs
	Right hand side of the equation.

Detailed Description

A stack equation.

Member Function Documentation

bool StackEqn::compare ( const StackEqn &  a, const StackEqn &  b  )

static

Order two equations.

Parameters

a	is the first equation to compare
b	is the second

Returns

true if the first equation comes before the second

References var1.

Referenced by StackSolver::duplicate(), and StackSolver::propagate().

---

The documentation for this struct was generated from the following file:

• coreaction.cc