org.chocosolver.solver.constraints.nary.automata.structure.regular

Class StoredDirectedMultiGraph

java.lang.Object

org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph

public class StoredDirectedMultiGraph
extends Object

Created by IntelliJ IDEA. User: julien Mail: julien.menana{at}emn.fr Date: Nov 4, 2009 Time: 1:07:19 PM

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	StoredDirectedMultiGraph.Arcs

Field Summary

Fields

Modifier and Type	Field and Description
StoredDirectedMultiGraph.Arcs	GArcs
org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph.Nodes	GNodes

Constructor Summary

Constructors

Constructor and Description
StoredDirectedMultiGraph(IEnvironment environment, org.jgrapht.graph.DirectedMultigraph<Node,Arc> graph, int[] starts, int[] offsets, int supportLength)

Method Summary

Methods

Modifier and Type	Method and Description
void	clearSupports(int idxVar, int val, Propagator p)
protected void	clearSupports(StoredIndexedBipartiteSet supports, Propagator p)
protected StoredIndexedBipartiteSetWithOffset	getSupport(int i, int j)
boolean	hasSupport(int i, int j)
protected void	removeArc(Propagator<IntVar> propagator)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

GNodes

public org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph.Nodes GNodes

GArcs

public StoredDirectedMultiGraph.Arcs GArcs

Constructor Detail

StoredDirectedMultiGraph

public StoredDirectedMultiGraph(IEnvironment environment,
                        org.jgrapht.graph.DirectedMultigraph<Node,Arc> graph,
                        int[] starts,
                        int[] offsets,
                        int supportLength)

Method Detail

hasSupport

public boolean hasSupport(int i,
                 int j)

clearSupports

public void clearSupports(int idxVar,
                 int val,
                 Propagator p)
                   throws ContradictionException

Throws:

ContradictionException

getSupport

protected final StoredIndexedBipartiteSetWithOffset getSupport(int i,
                                             int j)

removeArc

protected void removeArc(Propagator<IntVar> propagator)
                  throws ContradictionException

Throws:

ContradictionException

clearSupports

protected void clearSupports(StoredIndexedBipartiteSet supports,
                 Propagator p)
                      throws ContradictionException

Throws:

ContradictionException

toString

public String toString()

Overrides:

toString in class Object