PrimitiveConstr

reqt.csp.PrimitiveConstr
trait PrimitiveConstr extends Constr

Attributes

Graph
Supertypes
trait Constr
trait HasVariables
class Object
trait Matchable
class Any
Known subtypes
class AbsXeqY
class Distance
class IfThen
class IfThenBool
class IfThenElse
class XdivYeqZ
class XeqBool
class XeqC
class XeqY
class XexpYeqZ
class XgtC
class XgtY
class XgteqC
class XgteqY
class XltC
class XltY
class XlteqC
class XlteqY
class XmulYeqZ
class XneqC
class XneqY
class XplusYeqZ
class XplusYlteqZ
Show all

Members list

Value members

Concrete methods

def <=>(y: Var): Reified

Inherited and Abstract methods

def variables: Seq[Var]

Attributes

Inherited from:
HasVariables