Package org.jacop.search

Class TraceGenerator.SearchNode

java.lang.Object

org.jacop.search.TraceGenerator.SearchNode

Enclosing class:

TraceGenerator<T extends Var>

class TraceGenerator.SearchNode
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) PrimitiveConstraint	c
(package private) Domain	dom
(package private) boolean	equal
(package private) int	id
(package private) int	previous
(package private) Var	v
(package private) int	val

Constructor Summary

Constructors

Constructor	Description
SearchNode()

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

v

Var v

dom

Domain dom

c

PrimitiveConstraint c

val

int val

id

int id

equal

boolean equal

previous

int previous

Constructor Details

SearchNode

SearchNode()

Method Details

toString

public String toString()

Overrides:

toString in class Object