ConstraintNetwork (   The Meta-CSP FrameworkA Java API for Meta-CSP based reasoning)

java.lang.Object
- org.metacsp.framework.ConstraintNetwork

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

NullConstraintNetwork
```
public class ConstraintNetwork
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable
```
This class implements the necessary functionality to maintain networks of Constraints. It is used by all ConstraintSolvers and provides methods to add and remove Variables, Constraints, querying the network for constraints, incident edges, etc. It also provide basic graphical rendering functions.

Author:

Federico Pecora

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`java.lang.Object`	`annotation`
`static java.util.HashMap<org.metacsp.framework.ConstraintNetwork.FieldOfObject,java.lang.Object>`	`backupForSerialization`
`protected edu.uci.ics.jung.graph.DirectedSparseMultigraph<Variable,Constraint>`	`g`
`protected edu.uci.ics.jung.graph.ObservableGraph<Variable,Constraint>`	`graph`
`protected java.util.HashMap<Constraint,DummyVariable>`	`hyperEdges`
`int`	`ID`
`static int`	`IDs`
`ConstraintNetworkMarking`	`marking`
`protected ConstraintSolver`	`solver`
`java.lang.Object`	`specilizedAnnotation`
`protected java.util.HashMap<Variable,VariablePrototype>`	`substituted`
`protected java.util.HashMap<VariablePrototype,Variable>`	`substitutions`
`protected java.util.HashMap<java.lang.Integer,Variable>`	`variables`
`protected java.util.HashMap<Variable,java.lang.Integer>`	`variablesR`

Constructor Summary

Constructors
Constructor and Description

ConstraintNetwork(ConstraintSolver sol)
Instantiates a new ConstraintNetwork.

Constructors
Constructor and Description
`ConstraintNetwork(ConstraintSolver sol)` Instantiates a new `ConstraintNetwork`.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addConstraint(Constraint c)` Adds a `Constraint` to the network.
`void`	`addConstraintNetworkChangeListener(ConstraintNetworkChangeListener listener)`
`void`	`addConstraints(Constraint... cons)` Adds a set of `Constraint`s to the network.
`void`	`addSubstitution(VariablePrototype vp, Variable v)` Convenience method to keep track of correspondences between `VariablePrototype`s and `Variable`s (useful when `ConstraintNetwork`s are used as meta-values in `MetaConstraintSolver`s).
`void`	`addSubstitutions(org.apache.commons.collections15.map.HashedMap<VariablePrototype,Variable> vp2v)` Convenience method to keep track of correspondences between `VariablePrototype`s and `Variable`s (useful when `ConstraintNetwork`s are used as meta-values in `MetaConstraintSolver`s).
`void`	`addVariable(Variable v)` Adds a given `Variable` to the network.
`Variable`	`checkDomainsInstantiated()` Checks whether the domains of the `Variable`s in the `ConstraintNetwork` are instantiated.
`java.lang.Object`	`clone()` Clone this `ConstraintNetwork`.
`boolean`	`containsConstraint(Constraint c)` Query the network for the existence of a given `Constraint`.
`boolean`	`containsVariable(int ID)` Query the network for the existence of a `Variable` with a given ID.
`boolean`	`containsVariable(Variable v)` Query the network for the existence of a given `Variable`.
`static void`	`draw(ConstraintNetwork cn)` Same as the static two-argument draw method, using the `ConstraintNetwork`'s simple class name as the title of the `JFrame`.
`static void`	`draw(ConstraintNetwork cn, Callback cb)` Same as the static two-argument draw method, using the `ConstraintNetwork`'s simple class name as the title of the `JFrame`.
`static void`	`draw(ConstraintNetwork cn, java.lang.String title)` A static method for drawing `ConstraintNetwork`s.
`static void`	`draw(ConstraintNetwork cn, java.lang.String title, Callback cb)` A static method for drawing `ConstraintNetwork`s.
`boolean`	`equals(java.lang.Object o)` Checks if the given `ConstraintNetwork` is equal to this.
`java.lang.Object`	`getAnnotation()` Get the annotation for this `ConstraintNetwork`.
`Constraint`	`getConstraint(Variable from, Variable to)` Returns the `Constraint` between two given `Variable`s (if it exists).
`Constraint[]`	`getConstraints()` Get all `Constraint`s in the network.
`Constraint[]`	`getConstraints(Variable from, Variable to)` Returns all `Constraint`s between two given `Variable`s.
`java.lang.String`	`getEdgeLabel()` Get a `String` representation of this `ConstraintNetwork` (note that `MetaConstraintSolver`s use `ConstraintNetwork`s as resolvers, therefore this method is used to draw the edge label in the search tree rendering).
`edu.uci.ics.jung.graph.ObservableGraph<Variable,Constraint>`	`getGraph()`
`int`	`getID()`
`Constraint[]`	`getIncidentEdges(Variable v)` Get all `Constraint`s involving a given `Variable`.
`Constraint[]`	`getIncidentEdgesIncludingDependentVariables(Variable v)` Get all `Constraint`s involving a given `Variable`, along with all the constraints involving the dependent variables of this variable (recursively).
`Constraint[]`	`getIngoingEdges(Variable v)` Get all `Constraint`s for which a given `Variable` is source.
`java.util.HashMap<Variable,VariablePrototype>`	`getInverseSubstitutions()` Get all the inverse substitutions of `VariablePrototype`s to `Variable`s.
`ConstraintNetworkMarking`	`getMarking()` Get the marking of this `ConstraintNetwork`.
`Constraint[]`	`getMaskedConstraints()` Get all `Constraint`s that are not masked.
`Variable[]`	`getNeighboringVariables(Variable var)` Get all `Variable`s that are directly connected to a given `Variable` through one `Constraint`.
`Constraint[]`	`getOutgoingEdges(Variable v)` Get all `Constraint`s for which a given `Variable` is destination.
`java.lang.Object`	`getSpecilizedAnnotation()`
`VariablePrototype`	`getSubstituted(Variable v)` Get the `VariablePrototype` corresponding to a given `Variable` (see addSubstitution() method).
`Variable`	`getSubstitution(VariablePrototype vp)` Get the `Variable` corresponding to a given `VariablePrototype` (see addSubstitution() method).
`java.util.HashMap<VariablePrototype,Variable>`	`getSubstitutions()` Get all the substitutions of `VariablePrototype`s to `Variable`s.
`Constraint[]`	`getUnmaskedConstraints()` Get all `Constraint`s that are not masked.
`Variable`	`getVariable(int id)` Gets a `Variable` given its ID.
`Variable`	`getVariableFrom(Constraint c)` Gets the source `Variable` of a given (binary) `Constraint`.
`Variable[]`	`getVariables()` Get all variables in the network.
`Variable[]`	`getVariables(java.lang.String component)` Get all variables in the network with a given component.
`Variable[]`	`getVariables(java.lang.String component, java.lang.Object... markingsToExclude)` Get all variables in the network with a given component.
`Variable`	`getVariableTo(Constraint c)` Gets the destination `Variable` of a given (binary) `Constraint`.
`double`	`getWeight()` Weight associated to the `ConstraintNetwork` for some metrics.
`void`	`join(ConstraintNetwork cn)` Merges the given `ConstraintNetwork` to this.
`static ConstraintNetwork`	`loadConstraintNetwork(java.io.File file)`
`static ConstraintNetwork`	`loadConstraintNetwork(java.lang.String filename)`
`void`	`maskConstraints()` Masks all `Constraint`s in this `ConstraintNetwork`.
`static void`	`maskConstraints(Constraint[] cons)` Masks all given `Constraint`s.
`void`	`removeConstraint(Constraint c)` Removes a given `Constraint` from the network.
`void`	`removeSubstitution(VariablePrototype vp)` Remove the `Variable` corresponding to a given `VariablePrototype` (see addSubstitution() method).
`void`	`removeVariable(Variable v)` Removes a given `Variable` from the network.
`static void`	`saveConstraintNetwork(ConstraintNetwork cn, java.io.File file)`
`static void`	`saveConstraintNetwork(ConstraintNetwork cn, java.lang.String filename)`
`void`	`setAnnotation(java.lang.Object ann)` Set an annotation for this `ConstraintNetwork`.
`void`	`setMarking(ConstraintNetworkMarking marking)` Set the marking of this `ConstraintNetwork`.
`void`	`setSpecilizedAnnotation(java.lang.Object specilizedAnnotation)`
`void`	`setWeight(double weight)` Weight to associate to the `ConstraintNetwork` for some metrics.
`java.lang.String`	`toString()` Get a `String` representation of this `ConstraintNetwork`.
`void`	`unmaskConstraints()` Unmasks all `Constraint`s in this `ConstraintNetwork`.
`static void`	`unmaskConstraints(Constraint[] cons)` Unmasks all given `Constraint`s.

Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - backupForSerialization
```
public static java.util.HashMap<org.metacsp.framework.ConstraintNetwork.FieldOfObject,java.lang.Object> backupForSerialization
```
  - solver
```
protected ConstraintSolver solver
```
  - graph
```
protected edu.uci.ics.jung.graph.ObservableGraph<Variable,Constraint> graph
```
  - g
```
protected edu.uci.ics.jung.graph.DirectedSparseMultigraph<Variable,Constraint> g
```
  - variables
```
protected java.util.HashMap<java.lang.Integer,Variable> variables
```
  - variablesR
```
protected java.util.HashMap<Variable,java.lang.Integer> variablesR
```
  - substitutions
```
protected java.util.HashMap<VariablePrototype,Variable> substitutions
```
  - substituted
```
protected java.util.HashMap<Variable,VariablePrototype> substituted
```
  - hyperEdges
```
protected java.util.HashMap<Constraint,DummyVariable> hyperEdges
```
  - annotation
```
public transient java.lang.Object annotation
```
  - specilizedAnnotation
```
public transient java.lang.Object specilizedAnnotation
```
  - marking
```
public ConstraintNetworkMarking marking
```
  - IDs
```
public static int IDs
```
  - ID
```
public int ID
```
- Constructor Detail
  - ConstraintNetwork
```
public ConstraintNetwork(ConstraintSolver sol)
```
    Instantiates a new ConstraintNetwork. Note that all implementing classes must call this constructor (i.e., specifying a ConstraintSolver is mandatory).
    
    Parameters:
    
    sol - The ConstraintSolver which maintains this ConstraintNetwork.
- Method Detail
  - addConstraintNetworkChangeListener
```
public void addConstraintNetworkChangeListener(ConstraintNetworkChangeListener listener)
```
  - getGraph
```
public edu.uci.ics.jung.graph.ObservableGraph<Variable,Constraint> getGraph()
```
  - getID
```
public int getID()
```
  - getSpecilizedAnnotation
```
public java.lang.Object getSpecilizedAnnotation()
```
  - setSpecilizedAnnotation
```
public void setSpecilizedAnnotation(java.lang.Object specilizedAnnotation)
```
  - addSubstitution
```
public void addSubstitution(VariablePrototype vp,
                            Variable v)
```
    Convenience method to keep track of correspondences between VariablePrototypes and Variables (useful when ConstraintNetworks are used as meta-values in MetaConstraintSolvers).
    
    Parameters:
    
    vp - The VariablePrototype.
    
    v - The Variable that corresponds to the given VariablePrototype.
  - addSubstitutions
```
public void addSubstitutions(org.apache.commons.collections15.map.HashedMap<VariablePrototype,Variable> vp2v)
```
    Convenience method to keep track of correspondences between VariablePrototypes and Variables (useful when ConstraintNetworks are used as meta-values in MetaConstraintSolvers).
    
    Parameters:
    
    vp2v - Mapping between VariablePrototypes and Variables.
  - getSubstitution
```
public Variable getSubstitution(VariablePrototype vp)
```
    Get the Variable corresponding to a given VariablePrototype (see addSubstitution() method).
    
    Parameters:
    
    vp - The VariablePrototype to look up.
    
    Returns:
    
    The Variable corresponding to the given VariablePrototype.
  - getSubstituted
```
public VariablePrototype getSubstituted(Variable v)
```
    Get the VariablePrototype corresponding to a given Variable (see addSubstitution() method).
    
    Parameters:
    
    v - The Variable to look up.
    
    Returns:
    
    The VariablePrototype corresponding to the given Variable.
  - removeSubstitution
```
public void removeSubstitution(VariablePrototype vp)
```
    Remove the Variable corresponding to a given VariablePrototype (see addSubstitution() method).
    
    Parameters:
    
    vp - The VariablePrototype to look up.
  - getConstraint
```
public Constraint getConstraint(Variable from,
                                Variable to)
```
    Returns the Constraint between two given Variables (if it exists). If more than one exists, it returns one of them (no guarantees as to which one).
    
    Parameters:
    
    from - The source variable of the Constraint to find.
    
    to - The destination variable of the Constraint to find.
    
    Returns:
    
    The Constraint between the two given Variables, null if no such Constraint exists.
  - getConstraints
```
public Constraint[] getConstraints(Variable from,
                                   Variable to)
```
    Returns all Constraints between two given Variables.
    
    Parameters:
    
    from - The source variable of the Constraints to find.
    
    to - The destination variable of the Constraints to find.
    
    Returns:
    
    All Constraints between the two given Variables, null if no such Constraint exists.
  - addVariable
```
public void addVariable(Variable v)
```
    Adds a given Variable to the network.
    
    Parameters:
    
    v - The Variable to add to the network.
  - removeVariable
```
public void removeVariable(Variable v)
```
    Removes a given Variable from the network.
    
    Parameters:
    
    v - The Variable to remove from the network.
  - addConstraints
```
public void addConstraints(Constraint... cons)
```
    Adds a set of Constraints to the network.
    
    Parameters:
    
    cons - The Constraints to add to the network. NOTE: this only works for BinaryConstraints and MultiBinaryConstraints in the current implementation.
  - addConstraint
```
public void addConstraint(Constraint c)
```
    Adds a Constraint to the network.
    
    Parameters:
    
    c - The Constraint to add to the network. NOTE: this only works for BinaryConstraints and MultiBinaryConstraints in the current implementation.
  - removeConstraint
```
public void removeConstraint(Constraint c)
```
    Removes a given Constraint from the network.
    
    Parameters:
    
    c - The Constraint to remove from the network.
  - getVariableFrom
```
public Variable getVariableFrom(Constraint c)
```
    Gets the source Variable of a given (binary) Constraint.
    
    Parameters:
    
    c - The Constraint from which to get the source Variable.
    
    Returns:
    
    The source Variable of the given Constraint.
  - getVariableTo
```
public Variable getVariableTo(Constraint c)
```
    Gets the destination Variable of a given (binary) Constraint.
    
    Parameters:
    
    c - The Constraint from which to get the destination Variable.
    
    Returns:
    
    The destination Variable of the given Constraint.
  - getVariable
```
public Variable getVariable(int id)
```
    Gets a Variable given its ID.
    
    Parameters:
    
    id - The ID of the Variable.
    
    Returns:
    
    The Variable with the given ID (if it exists).
  - checkDomainsInstantiated
```
public Variable checkDomainsInstantiated()
```
    Checks whether the domains of the Variables in the ConstraintNetwork are instantiated. This is used by the ConstraintSolver class to assess whether automatic propagation should occur (in some CSPs, domains of Variables cannot be instantiated by the Variable constructor, rather an explicit call to a dedicated method is necessary).
    
    Returns:
    
    null if all domains are instantiated; a Variable whose domain is not instantiated if one exists.
  - draw
```
public static void draw(ConstraintNetwork cn,
                        java.lang.String title)
```
    A static method for drawing ConstraintNetworks. This method is static so that it can be called to draw an object of a subclass (Java enforces late-binding). This method instantiated a JFrame containing a rendering of the ConstraintNetwork. The rendering is dynamic and attempts to animate transitions when Constraint and/or Variables are added/removed from the network.
    
    Parameters:
    
    cn - The ConstraintNetwork to draw.
    
    title - The title of the JFrame containing the rendered ConstraintNetwork.
  - draw
```
public static void draw(ConstraintNetwork cn,
                        java.lang.String title,
                        Callback cb)
```
    A static method for drawing ConstraintNetworks. This method is static so that it can be called to draw an object of a subclass (Java enforces late-binding). This method instantiated a JFrame containing a rendering of the ConstraintNetwork. The rendering is dynamic and attempts to animate transitions when Constraint and/or Variables are added/removed from the network.
    
    Parameters:
    
    cn - The ConstraintNetwork to draw.
    
    title - The title of the JFrame containing the rendered ConstraintNetwork.
    
    cb - A Callback object to use when the button is pressed.
  - draw
```
public static void draw(ConstraintNetwork cn)
```
    Same as the static two-argument draw method, using the ConstraintNetwork's simple class name as the title of the JFrame.
    
    Parameters:
    
    cn - The ConstraintNetwork to draw.
  - draw
```
public static void draw(ConstraintNetwork cn,
                        Callback cb)
```
    Same as the static two-argument draw method, using the ConstraintNetwork's simple class name as the title of the JFrame.
    
    Parameters:
    
    cn - The ConstraintNetwork to draw.
    
    cb - A Callback object to use when the button is pressed.
  - getIncidentEdges
```
public Constraint[] getIncidentEdges(Variable v)
```
    Get all Constraints involving a given Variable.
    
    Parameters:
    
    v - The Variable involved in the Constraints.
    
    Returns:
    
    All Constraints involving the given Variable.
  - getIncidentEdgesIncludingDependentVariables
```
public Constraint[] getIncidentEdgesIncludingDependentVariables(Variable v)
```
    Get all Constraints involving a given Variable, along with all the constraints involving the dependent variables of this variable (recursively).
    
    Parameters:
    
    v - The Variable involved in the Constraints.
    
    Returns:
    
    All Constraints involving the given Variable (including those involving dependent variables of this variable, recursively).
  - getIngoingEdges
```
public Constraint[] getIngoingEdges(Variable v)
```
    Get all Constraints for which a given Variable is source.
    
    Parameters:
    
    v - The Variable involved in the Constraints.
    
    Returns:
    
    All Constraints for which a given Variable is source.
  - getOutgoingEdges
```
public Constraint[] getOutgoingEdges(Variable v)
```
    Get all Constraints for which a given Variable is destination.
    
    Parameters:
    
    v - The Variable involved in the Constraints.
    
    Returns:
    
    All Constraints for which a given Variable is destination.
  - getVariables
```
public Variable[] getVariables()
```
    Get all variables in the network.
    
    Returns:
    
    All variables in the network.
  - getVariables
```
public Variable[] getVariables(java.lang.String component,
                               java.lang.Object... markingsToExclude)
```
    Get all variables in the network with a given component.
    
    Returns:
    
    All variables in the network with a given component.
  - getVariables
```
public Variable[] getVariables(java.lang.String component)
```
    Get all variables in the network with a given component.
    
    Returns:
    
    All variables in the network with a given component.
  - getConstraints
```
public Constraint[] getConstraints()
```
    Get all Constraints in the network.
    
    Returns:
    
    All the Constraints in the network.
  - containsConstraint
```
public boolean containsConstraint(Constraint c)
```
    Query the network for the existence of a given Constraint.
    
    Parameters:
    
    c - The Constraint for the query.
    
    Returns:
    
    true iff the network contains the given Constraint
  - containsVariable
```
public boolean containsVariable(Variable v)
```
    Query the network for the existence of a given Variable.
    
    Parameters:
    
    v - The Variable for the query.
    
    Returns:
    
    true iff the network contains the given Variable
  - containsVariable
```
public boolean containsVariable(int ID)
```
    Query the network for the existence of a Variable with a given ID.
    
    Parameters:
    
    ID - The ID of the Variable for the query.
    
    Returns:
    
    true iff the network contains the Variable with the given ID.
  - getEdgeLabel
```
public java.lang.String getEdgeLabel()
```
    Get a String representation of this ConstraintNetwork (note that MetaConstraintSolvers use ConstraintNetworks as resolvers, therefore this method is used to draw the edge label in the search tree rendering).
    
    Returns:
    
    A String representation of this Constraint.
  - toString
```
public java.lang.String toString()
```
    Get a String representation of this ConstraintNetwork.
    
    Overrides:
    
    toString in class java.lang.Object
    
    Returns:
    
    A String representation of this ConstraintNetwork.
  - join
```
public void join(ConstraintNetwork cn)
```
    Merges the given ConstraintNetwork to this.
    
    Parameters:
    
    cn - The ConstraintNetwork to merge into this.
  - equals
```
public boolean equals(java.lang.Object o)
```
    Checks if the given ConstraintNetwork is equal to this.
    
    Overrides:
    
    equals in class java.lang.Object
    
    Returns:
    
    true iff the given ConstraintNetwork has the same Variables and the same Constraints as this.
  - getWeight
```
public double getWeight()
```
    Weight associated to the ConstraintNetwork for some metrics.
    
    Returns:
    
    Weight related to the ConstraintNetwork
  - setWeight
```
public void setWeight(double weight)
```
    Weight to associate to the ConstraintNetwork for some metrics.
    
    Parameters:
    
    weight - Weight related to the ConstraintNetwork.
  - clone
```
public java.lang.Object clone()
```
    Clone this ConstraintNetwork.
    
    Overrides:
    
    clone in class java.lang.Object
    
    Returns:
    
    A new ConstraintNetwork of the runtime type of the original.
  - setAnnotation
```
public void setAnnotation(java.lang.Object ann)
```
    Set an annotation for this ConstraintNetwork.
    
    Parameters:
    
    ann - An object that should be used to annotate this ConstraintNetwork.
  - getAnnotation
```
public java.lang.Object getAnnotation()
```
    Get the annotation for this ConstraintNetwork.
    
    Returns:
    
    An object that is used to annotate this ConstraintNetwork.
  - getSubstitutions
```
public java.util.HashMap<VariablePrototype,Variable> getSubstitutions()
```
    Get all the substitutions of VariablePrototypes to Variables.
    
    Returns:
    
    All the substitutions of VariablePrototypes to Variables.
  - getInverseSubstitutions
```
public java.util.HashMap<Variable,VariablePrototype> getInverseSubstitutions()
```
    Get all the inverse substitutions of VariablePrototypes to Variables.
    
    Returns:
    
    All the inverse substitutions of VariablePrototypes to Variables.
  - getMarking
```
public ConstraintNetworkMarking getMarking()
```
    Get the marking of this ConstraintNetwork.
    
    Returns:
    
    The marking of this ConstraintNetwork.
  - setMarking
```
public void setMarking(ConstraintNetworkMarking marking)
```
    Set the marking of this ConstraintNetwork.
    
    Parameters:
    
    marking - The marking of this ConstraintNetwork.
  - getNeighboringVariables
```
public Variable[] getNeighboringVariables(Variable var)
```
    Get all Variables that are directly connected to a given Variable through one Constraint.
    
    Parameters:
    
    var - The Variable from which the connected Variables are to be computed.
    
    Returns:
    
    All Variables that are directly connected to a given Variable through one Constraint.
  - maskConstraints
```
public void maskConstraints()
```
    Masks all Constraints in this ConstraintNetwork.
  - unmaskConstraints
```
public void unmaskConstraints()
```
    Unmasks all Constraints in this ConstraintNetwork.
  - maskConstraints
```
public static void maskConstraints(Constraint[] cons)
```
    Masks all given Constraints.
    
    Parameters:
    
    cons - The Constraints to mask.
  - unmaskConstraints
```
public static void unmaskConstraints(Constraint[] cons)
```
    Unmasks all given Constraints.
    
    Parameters:
    
    cons - The Constraints to unmask.
  - getUnmaskedConstraints
```
public Constraint[] getUnmaskedConstraints()
```
    Get all Constraints that are not masked.
    
    Returns:
    
    All Constraints that are not masked.
  - getMaskedConstraints
```
public Constraint[] getMaskedConstraints()
```
    Get all Constraints that are not masked.
    
    Returns:
    
    All Constraints that are not masked.
  - saveConstraintNetwork
```
public static void saveConstraintNetwork(ConstraintNetwork cn,
                                         java.lang.String filename)
```
  - saveConstraintNetwork
```
public static void saveConstraintNetwork(ConstraintNetwork cn,
                                         java.io.File file)
```
  - loadConstraintNetwork
```
public static ConstraintNetwork loadConstraintNetwork(java.lang.String filename)
```
  - loadConstraintNetwork
```
public static ConstraintNetwork loadConstraintNetwork(java.io.File file)
```

Class ConstraintNetwork

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

backupForSerialization

solver

graph

g

variables

variablesR

substitutions

substituted

hyperEdges

annotation

specilizedAnnotation

marking

IDs

ID

Constructor Detail

ConstraintNetwork

Method Detail

addConstraintNetworkChangeListener

getGraph

getID

getSpecilizedAnnotation

setSpecilizedAnnotation

addSubstitution

addSubstitutions

getSubstitution

getSubstituted

removeSubstitution

getConstraint

getConstraints

addVariable

removeVariable

addConstraints

addConstraint

removeConstraint

getVariableFrom

getVariableTo

getVariable

checkDomainsInstantiated

draw

draw

draw

draw

getIncidentEdges

getIncidentEdgesIncludingDependentVariables

getIngoingEdges

getOutgoingEdges

getVariables

getVariables

getVariables

getConstraints

containsConstraint

containsVariable

containsVariable

getEdgeLabel

toString

join

equals

getWeight

setWeight

clone

setAnnotation

getAnnotation

getSubstitutions

getInverseSubstitutions

getMarking

setMarking

getNeighboringVariables

maskConstraints

unmaskConstraints

maskConstraints

unmaskConstraints

getUnmaskedConstraints

getMaskedConstraints

saveConstraintNetwork