Instance Constructors
-
new
IntegerTargetVariable(intValue: Int, aimer: LabeledIntegerVar)
Type Members
-
-
case class
IntegerVariableDiff(oldIndex: Int, newIndex: Int) extends Diff with Product with Serializable
-
type
Value = Int
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
def
!==(other: Var): Boolean
-
final
def
##(): Int
-
def
*=(x: Int): Unit
-
def
+=(x: Int): Unit
-
def
-=(x: Int): Unit
-
def
/=(x: Int): Unit
-
final
def
:=(newValue: Value): Unit
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
===(other: Var): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
final
def
doubleValue: Double
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
intValue_=(newValue: Int)(implicit d: DiffList): Unit
-
final
def
isInstanceOf[T0]: Boolean
-
def
maxIntValue: Int
-
def
minIntValue: Int
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
printName: String
-
def
set(newValue: Int)(implicit d: DiffList = null): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
value: Int
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit