Package org.xcsp.common.domains

Class Domains.DomGraph

java.lang.Object

org.xcsp.common.domains.Domains.DomGraph

All Implemented Interfaces:

Domains.DomComplex, Domains.IDom

Enclosing class:

Domains

public static final class Domains.DomGraph
extends Object
implements Domains.DomComplex

The class for representing the domain of a graph variable.

Field Summary

Fields

Modifier and Type	Field	Description
String[][]	possibleE	The required and possible edges or arcs.
String[]	possibleV	The required and possible nodes (vertices).
String[][]	requiredE	The required and possible edges or arcs.
String[]	requiredV	The required and possible nodes (vertices).

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	DomGraph(String[] requiredV, String[] possibleV, String[][] requiredE, String[][] possibleE)	Builds a graph domain, with the specified required and possible values (nodes and edges/arcs).

Method Summary

Modifier and Type	Method	Description
static Domains.DomGraph	parse(String reqV, String reqE, String posV, String posE, Types.TypeVar type)	Returns the graph domain obtained by parsing the specified strings, according to the specified type.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

requiredV

public final String[] requiredV

The required and possible nodes (vertices).

possibleV

public final String[] possibleV

The required and possible nodes (vertices).

requiredE

public final String[][] requiredE

The required and possible edges or arcs.

possibleE

public final String[][] possibleE

The required and possible edges or arcs.

Constructor Detail

DomGraph

protected DomGraph(String[] requiredV,
                   String[] possibleV,
                   String[][] requiredE,
                   String[][] possibleE)

Builds a graph domain, with the specified required and possible values (nodes and edges/arcs).

Method Detail

parse

public static Domains.DomGraph parse(String reqV,
                                     String reqE,
                                     String posV,
                                     String posE,
                                     Types.TypeVar type)

Returns the graph domain obtained by parsing the specified strings, according to the specified type.

toString

public String toString()

Overrides:

toString in class Object