abstract class Constraint extends DLNode[Constraint] with Weighted with Identified with PTag with LazyLogging with AdviseCounts
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- Constraint
- AdviseCounts
- Advisable
- LazyLogging
- PTag
- Identified
- Weighted
- DLNode
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
-
abstract
def
advise(problemState: ProblemState, event: Event, pos: Int): Int
- Attributes
- protected
-
abstract
def
check(tuple: Array[Int]): Boolean
- returns
true iff the constraint is satisfied by the given tuple
- abstract def init(ps: ProblemState): Outcome
- abstract def revise(problemState: ProblemState, modified: BitVector): Outcome
- abstract def simpleEvaluation: Int
Concrete 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
-
def
adviseCount: Int
- Definition Classes
- AdviseCounts
-
def
append(n: Constraint): Unit
- Definition Classes
- DLNode
-
def
arity: Int
arity is the number of variables involved by the constraint
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
final
def
cardSize(problemState: ProblemState, p: Int = arity - 1, size: Int = 1): Int
- Annotations
- @tailrec()
-
def
clear(): Unit
- Definition Classes
- DLNode
- def clearMod(): BitVector
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
- def consistent(problemState: ProblemState, modified: Traversable[Int]): Outcome
- final def consistent(ps: ProblemState): Outcome
- def controlAssignment(problemState: ProblemState): Boolean
- def controlRevision(ps: ProblemState): Boolean
-
final
def
controlTuplePresence(problemState: ProblemState, tuple: Array[Int], mod: List[Int]): Boolean
- Annotations
- @tailrec()
-
final
def
controlTuplePresence(problemState: ProblemState, tuple: Array[Int], i: Int = arity - 1): Boolean
- Annotations
- @tailrec()
-
val
currentList: Int
- Definition Classes
- DLNode
- def dataSize: Int
- def diff(ps1: ProblemState, ps2: ProblemState): Seq[(Variable, (Domain, Domain))]
- final def doubleCardSize(problemState: ProblemState): Double
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(o: Any): Boolean
- Definition Classes
- Constraint → AnyRef → Any
- def event(problemState: ProblemState, event: Event, pos: Int, alwaysMod: Boolean = false): Int
- final def eventAll(problemState: ProblemState, event: Event = Assignment, alwaysMod: Boolean = false): Int
-
def
eventArray(problemState: ProblemState, event: Event, positions: Array[Int]): Int
Same event for all positions Mostly used when a variable is several times in the scope
-
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
hashCode(): Int
- Definition Classes
- Constraint → AnyRef → Any
-
def
id: Int
- returns
the unique, integer identifier of the object.
- Definition Classes
- Constraint → Identified
- def identify(i: Int): Int
-
def
incrementWeight(): Unit
- Definition Classes
- Constraint → Weighted
- def intervalsOnly(problemState: ProblemState): Boolean
-
def
isEmpty: Boolean
- Definition Classes
- DLNode
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
iterator: Iterator[Constraint]
- Definition Classes
- DLNode
-
lazy val
logger: Logger
- Attributes
- protected
- Definition Classes
- LazyLogging
-
def
modVars(modified: BitVector): Traversable[Variable]
- Attributes
- protected
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
val
next: DLNode[Constraint]
- Definition Classes
- DLNode
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
val
position: Map[Variable, Array[Int]]
- returns
a map containing the positions of variables in the scope of the constraint.
- val positionInVariable: Array[Int]
-
val
present: Int
- Definition Classes
- PTag
-
val
prev: DLNode[Constraint]
- Definition Classes
- DLNode
-
def
register(ac: AdviseCount): Constraint.this.type
- Definition Classes
- Constraint → AdviseCounts → Advisable
-
def
remove(): Unit
- Definition Classes
- DLNode
- final def revise(problemState: ProblemState): Outcome
- val scope: Array[Variable]
- final def scopeSize(problemState: ProblemState): Int
- def singleFree(ps: ProblemState): Option[Int]
- def skip(modified: BitVector): Int
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- Constraint → AnyRef → Any
- def toString(problemState: ProblemState): String
-
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( ... )
-
val
weight: Int
- Definition Classes
- Weighted