case class Comparator(op: A.Comparator, a: A.Expression, b: A.Expression) extends Expression with Product with Serializable
Binary comparison expression
- op
comparator
- a
left arithmetic expression
- b
right arithmetic expression
- Alphabetic
- By Inheritance
- Comparator
- Serializable
- Serializable
- Product
- Equals
- Expression
- AST
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
Comparator(op: A.Comparator, a: A.Expression, b: A.Expression)
- op
comparator
- a
left arithmetic expression
- b
right arithmetic expression
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val a: A.Expression
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val b: A.Expression
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
eval(state: State): Boolean
Evaluates an binary expression given a state
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
isDef(variable: Variable): Boolean
Checks if an AST directly defines a given variable
Checks if an AST directly defines a given variable
- variable
the variable to check
- Definition Classes
- AST
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isRef(variable: Variable): Boolean
Checks if an AST contains a reference to a given variable
Checks if an AST contains a reference to a given variable
- variable
the variable to check
- Definition Classes
- AST
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val op: A.Comparator
-
def
replace(searchVar: Variable, newVar: Variable): Expression
Replaces a variable to another in this tree
Replaces a variable to another in this tree
- searchVar
the variable to search for
- newVar
the replacement variable
- returns
a new Expression with applied changes
- Definition Classes
- Expression
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toConstraintVar(model: Model, variables: Map[String, IntVar]): BoolVar
Transforms this AST in a variable of the solver choco representing this AST
Transforms this AST in a variable of the solver choco representing this AST
- model
the choco model
- variables
a map from variable name to the associated choco integer variable
- Definition Classes
- Expression
-
def
toString(): String
Returns a string representation of this AST
Returns a string representation of this AST
Implemented here for easy update (with match clause)
- Definition Classes
- AST → AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )