$darkmode
|
DENOPTIM
|
Defined the kind of graph editing task. More...
Public Attributes | |
| REPLACECHILD | |
| Replaces any child (or tree of children) of any vertex matching the vertex query with a given incoming graph that may contain one or more vertexes. More... | |
| DELETEVERTEX | |
| Removes any matching vertex. More... | |
| CHANGEVERTEX | |
| Changes any vertex matching the vertex query with the vertex given as input and using the given AP mapping mask. More... | |
Defined the kind of graph editing task.
Definition at line 101 of file GraphEdit.java.
| denoptim.utils.GraphEdit.EditTask.CHANGEVERTEX |
Changes any vertex matching the vertex query with the vertex given as input and using the given AP mapping mask.
Definition at line 119 of file GraphEdit.java.
| denoptim.utils.GraphEdit.EditTask.DELETEVERTEX |
Removes any matching vertex.
Definition at line 112 of file GraphEdit.java.
| denoptim.utils.GraphEdit.EditTask.REPLACECHILD |
Replaces any child (or tree of children) of any vertex matching the vertex query with a given incoming graph that may contain one or more vertexes.
Definition at line 107 of file GraphEdit.java.