agg.xt_basis
Class GraTraOptions

java.lang.Object
  extended by agg.xt_basis.GraTraOptions

public class GraTraOptions
extends java.lang.Object

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

CSP

public static final java.lang.String CSP
See Also:
Constant Field Values

CSP_WO_BJ

public static final java.lang.String CSP_WO_BJ
See Also:
Constant Field Values

INJECTIVE

public static final java.lang.String INJECTIVE
See Also:
Constant Field Values

DANGLING

public static final java.lang.String DANGLING
See Also:
Constant Field Values

IDENTIFICATION

public static final java.lang.String IDENTIFICATION
See Also:
Constant Field Values

NACS

public static final java.lang.String NACS
See Also:
Constant Field Values

PACS

public static final java.lang.String PACS
See Also:
Constant Field Values

CONSISTENT_ONLY

public static final java.lang.String CONSISTENT_ONLY
See Also:
Constant Field Values

CONSISTENCY_CHECK_AFTER_GRAPH_TRAFO

public static final java.lang.String CONSISTENCY_CHECK_AFTER_GRAPH_TRAFO
See Also:
Constant Field Values

STOP_INCONSISTENT

public static final java.lang.String STOP_INCONSISTENT
See Also:
Constant Field Values

CHECK_RULE_APPLICABILITY

public static final java.lang.String CHECK_RULE_APPLICABILITY
See Also:
Constant Field Values

SHOW_GRAPH_AFTER_STEP

public static final java.lang.String SHOW_GRAPH_AFTER_STEP
See Also:
Constant Field Values

WAIT_AFTER_STEP

public static final java.lang.String WAIT_AFTER_STEP
See Also:
Constant Field Values

SELECT_NEW_AFTER_STEP

public static final java.lang.String SELECT_NEW_AFTER_STEP
See Also:
Constant Field Values

NONDETERMINISTICALLY

public static final java.lang.String NONDETERMINISTICALLY
See Also:
Constant Field Values

PRIORITY

public static final java.lang.String PRIORITY
See Also:
Constant Field Values

RULE_SEQUENCE

public static final java.lang.String RULE_SEQUENCE
See Also:
Constant Field Values

LAYERED

public static final java.lang.String LAYERED
See Also:
Constant Field Values

LOOP_OVER_LAYER

public static final java.lang.String LOOP_OVER_LAYER
See Also:
Constant Field Values

RESET_GRAPH

public static final java.lang.String RESET_GRAPH
See Also:
Constant Field Values

STOP_LAYER_AND_WAIT

public static final java.lang.String STOP_LAYER_AND_WAIT
See Also:
Constant Field Values

BREAK_LAYER

public static final java.lang.String BREAK_LAYER
See Also:
Constant Field Values

BREAK_ALL_LAYER

public static final java.lang.String BREAK_ALL_LAYER
See Also:
Constant Field Values

PARALLEL_MATCHING

public static final java.lang.String PARALLEL_MATCHING
See Also:
Constant Field Values
Constructor Detail

GraTraOptions

public GraTraOptions()
Creates an new empty list

Method Detail

addOption

public void addOption(java.lang.String name)
Adds the specified option name to this list


removeOption

public void removeOption(java.lang.String name)
Removes the specified option name from this list


hasOption

public boolean hasOption(java.lang.String name)
Returns true if this list contains the specified option name


getOptions

public java.util.Vector<java.lang.String> getOptions()
Returns current option names


getCompletionStrategy

public MorphCompletionStrategy getCompletionStrategy()
Returns current morphism completion strategy


toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

update

public void update()
Updates morphism completion strategy and its properties (match conditions) using current list of option names.