learnta::ConstraintMaker Class Reference

Public Member Functions
	ConstraintMaker (ClockVariables x)
Constraint	operator< (int c) const
Constraint	operator<= (int c) const
Constraint	operator> (int c) const
Constraint	operator>= (int c) const
	operator ClockVariables () const

---

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

• include/constraint.hh