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...

	DELETEBRANCH
	Removes any branch starting from any matching vertex. More...

	DELETEVERTEX
	Removes any vertex matching the vertex query. More...

	CHANGEVERTEX
	Changes any vertex matching the vertex query with the vertex given as input and using the given AP mapping mask. More...

	CHANGESUBGRAPH
	Changes any subgraph matching the subgraph query with the subgraph (or part of it) given as input and using the given AP mapping mask. More...

Detailed Description

Defined the kind of graph editing task.

Definition at line 127 of file GraphEdit.java.

Member Data Documentation

denoptim.utils.GraphEdit.EditTask.CHANGESUBGRAPH

Changes any subgraph matching the subgraph query with the subgraph (or part of it) given as input and using the given AP mapping mask.

Definition at line 157 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 150 of file GraphEdit.java.

denoptim.utils.GraphEdit.EditTask.DELETEBRANCH

Removes any branch starting from any matching vertex.

Definition at line 138 of file GraphEdit.java.

denoptim.utils.GraphEdit.EditTask.DELETEVERTEX

Removes any vertex matching the vertex query.

Does not remove branches starting from the vertex.

Definition at line 144 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 133 of file GraphEdit.java.

The documentation for this enum was generated from the following file: