A constraint in a guard of transitions. More...

Public Types
enum class	Order { lt , le , ge , gt }

using	Interpretation = std::vector< double >

Public Member Functions
bool	satisfy (double d) const

bool	satisfy (std::vector< double > valuation) const

learnta::Order	operator() (Interpretation val) const

bool	operator== (Constraint another) const

bool	isUpperBound () const

bool	isWeaker (const Constraint &another) const
	Check if this constraint is weaker than the given one. More...

Constraint	negate () const

Bounds	lowerBoundDurationToSatisfy (std::vector< double > valuation) const

IntBounds	toBound () const

Bounds	toDBMBound () const

Detailed Description

A constraint in a guard of transitions.

Member Function Documentation

bool learnta::Constraint::isWeaker ( const Constraint & another ) const

inline

Check if this constraint is weaker than the given one.

Returns: false if the compared variables are different; false if the compared constraints bound from the different order (i.e., upper vs. lower)

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