Module org.chocosolver

Package 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

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

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<IntVar> p)
                   throws ContradictionException

Throws:

ContradictionException

getSupport

protected final StoredIndexedBipartiteSetWithOffset getSupport(int i,
                                                               int j)

toString

public String toString()

Overrides:

toString in class Object