|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.xt_basis.GraTraOptions
public class GraTraOptions
This class defines the options for graph transformation, backed by a vector of names. Possible options are: for completion strategy (it is always the first element of the vector): "CSP", "CSP w/o BJ" for match : "injective", "dangling", "identification", "NACs", other general options: "consistency", "checkRuleApplicability", "showGraphAfterStep", "waitAfterStep", "selectNewAfterStep", for kind of graph transformation: "layered", "priority", "ruleSequence", other options of layered graph transformation: "layeredLoop", "stopLayerAndWait", "breakLayer", "breakAllLayer". Please node: Options: "checkRuleApplicability", "showGraphAfterStep", "waitAfterStep", "selectNewAfterStep", "stopLayerAndWait", "breakLayer", "breakAllLayer" can be used with AGG GUI, only.
Field Summary | |
---|---|
static java.lang.String |
BREAK_ALL_LAYER
|
static java.lang.String |
BREAK_LAYER
|
static java.lang.String |
CHECK_RULE_APPLICABILITY
|
static java.lang.String |
CONSISTENCY_CHECK_AFTER_GRAPH_TRAFO
|
static java.lang.String |
CONSISTENT_ONLY
|
static java.lang.String |
CSP
|
static java.lang.String |
CSP_WO_BJ
|
static java.lang.String |
DANGLING
|
static java.lang.String |
IDENTIFICATION
|
static java.lang.String |
INJECTIVE
|
static java.lang.String |
LAYERED
|
static java.lang.String |
LOOP_OVER_LAYER
|
static java.lang.String |
NACS
|
static java.lang.String |
NONDETERMINISTICALLY
|
static java.lang.String |
PACS
|
static java.lang.String |
PARALLEL_MATCHING
|
static java.lang.String |
PRIORITY
|
static java.lang.String |
RESET_GRAPH
|
static java.lang.String |
RULE_SEQUENCE
|
static java.lang.String |
SELECT_NEW_AFTER_STEP
|
static java.lang.String |
SHOW_GRAPH_AFTER_STEP
|
static java.lang.String |
STOP_INCONSISTENT
|
static java.lang.String |
STOP_LAYER_AND_WAIT
|
static java.lang.String |
WAIT_AFTER_STEP
|
Constructor Summary | |
---|---|
GraTraOptions()
Creates an new empty list |
Method Summary | |
---|---|
void |
addOption(java.lang.String name)
Adds the specified option name to this list |
MorphCompletionStrategy |
getCompletionStrategy()
Returns current morphism completion strategy |
java.util.Vector<java.lang.String> |
getOptions()
Returns current option names |
boolean |
hasOption(java.lang.String name)
Returns true if this list contains the specified option name |
void |
removeOption(java.lang.String name)
Removes the specified option name from this list |
java.lang.String |
toString()
|
void |
update()
Updates morphism completion strategy and its properties (match conditions) using current list of option names. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String CSP
public static final java.lang.String CSP_WO_BJ
public static final java.lang.String INJECTIVE
public static final java.lang.String DANGLING
public static final java.lang.String IDENTIFICATION
public static final java.lang.String NACS
public static final java.lang.String PACS
public static final java.lang.String CONSISTENT_ONLY
public static final java.lang.String CONSISTENCY_CHECK_AFTER_GRAPH_TRAFO
public static final java.lang.String STOP_INCONSISTENT
public static final java.lang.String CHECK_RULE_APPLICABILITY
public static final java.lang.String SHOW_GRAPH_AFTER_STEP
public static final java.lang.String WAIT_AFTER_STEP
public static final java.lang.String SELECT_NEW_AFTER_STEP
public static final java.lang.String NONDETERMINISTICALLY
public static final java.lang.String PRIORITY
public static final java.lang.String RULE_SEQUENCE
public static final java.lang.String LAYERED
public static final java.lang.String LOOP_OVER_LAYER
public static final java.lang.String RESET_GRAPH
public static final java.lang.String STOP_LAYER_AND_WAIT
public static final java.lang.String BREAK_LAYER
public static final java.lang.String BREAK_ALL_LAYER
public static final java.lang.String PARALLEL_MATCHING
Constructor Detail |
---|
public GraTraOptions()
Method Detail |
---|
public void addOption(java.lang.String name)
public void removeOption(java.lang.String name)
public boolean hasOption(java.lang.String name)
public java.util.Vector<java.lang.String> getOptions()
public MorphCompletionStrategy getCompletionStrategy()
public java.lang.String toString()
toString
in class java.lang.Object
public void update()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |