optimus/optimus.algebra/Constraint

Constraint

case class Constraint(lhs: Expression, operator: ConstraintRelation, rhs: Expression)

A constraint has the form (expression RELATION expression). RELATION can be one of the {<=, =, >=}.

Value parameters:
lhs

left hand side expression

operator

relation operator

rhs

right hand side expression

trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

override def equals(obj: Any): Boolean
Value parameters:
obj

an object to compare

Returns:

true in case this object has identical constant and terms as the obj argument; false otherwise.

Definition Classes
Equals -> Any
override def toString: String
Definition Classes
Any

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product