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).
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods 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()
-
-
-
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.
-
-
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.
-
-