public abstract class Operation extends Object implements Data, Serializable
Modifier and Type | Class and Description |
---|---|
static class |
Operation.Comparator
This class imposes a total order on the set of (atomic cospan) operations.
|
static class |
Operation.Connect
This class implements the CONNECT-Operation which is used to attach a new edge to the
last nodes in the interface of some graph (cospan).
|
static class |
Operation.Fuse
This class implements the FUSE-Operation which is used to fuse the last two nodes in the
interface of some graph (cospan).
|
static class |
Operation.Perm
This class implements the PERM-Operation which is used to cyclic shift the nodes in the
interface of some graph (cospan).
|
static class |
Operation.Res
This class implements the RES-Operation which is used to restrict the last node in the
interface of some graph (cospan).
|
static class |
Operation.Trans
This class implements the TRANS-Operation which is used to transpose the first two nodes in the
interface of some graph (cospan).
|
static class |
Operation.Type
Enumeration of the different types of implemented operations.
|
static class |
Operation.Vertex
This class implements the VERTEX-Operation which is used to add a new node at the last
position of the interface of some graph (cospan).
|
Modifier and Type | Field and Description |
---|---|
static String |
ARITY_TOKEN
The ARITY Token
|
static Operation.Comparator |
COMPARATOR |
static String |
CONNECT_TOKEN
The CONNECT Operation Token
|
static String |
DEFAULT_EDGE_LABEL
The default edge label
|
static String |
FUSE_TOKEN
The FUSE Operation Token
|
static String |
PERM_TOKEN
The PERM Operation Token
|
static String |
RES_TOKEN
The RES Operation Token
|
static String |
TRANS_TOKEN
The TRANS Operation Token
|
static String |
VERTEX_TOKEN
The VERTEX Operation Token
|
Modifier and Type | Method and Description |
---|---|
static Operation.Connect |
getConnect(String label,
int arity)
Returns the CONNECT operation for the specified edge.
|
static Operation.Fuse |
getFuse()
Returns the FUSE operation.
|
static Operation.Perm |
getPerm()
Returns the PERM operation.
|
static Operation.Res |
getRes()
Returns the RES operation.
|
static Operation.Trans |
getTrans()
Returns the TRANS operation.
|
Operation.Type |
getType()
Returns the type of the data object.
|
static Operation.Vertex |
getVertex()
Returns the VERTEX operation.
|
static boolean |
isLabelValid(String label)
Checks whether the label is correct with respect to the pattern of allowed labels.
|
String |
parse()
Get the name of an operation
|
static Operation |
parse(String text)
Parses an operation from a text string.
|
String |
toString() |
public static final Operation.Comparator COMPARATOR
public static final String CONNECT_TOKEN
public static final String FUSE_TOKEN
public static final String PERM_TOKEN
public static final String RES_TOKEN
public static final String TRANS_TOKEN
public static final String VERTEX_TOKEN
public static final String ARITY_TOKEN
public static final String DEFAULT_EDGE_LABEL
public static Operation parse(String text)
text
- the string to be parsedpublic static Operation.Connect getConnect(String label, int arity)
label
- the edge labelarity
- the edge aritypublic static boolean isLabelValid(String label)
label
- the label to be checkedtrue
if the name is valid, false
otherwisepublic static final Operation.Fuse getFuse()
public static final Operation.Perm getPerm()
public static final Operation.Res getRes()
public static final Operation.Trans getTrans()
public static final Operation.Vertex getVertex()
public final Operation.Type getType()
Data
public final String parse()