agg.xt_basis
Interface CompletionPropertyBits

All Known Implementing Classes:
Completion_CSP, Completion_CSP_NoBJ, Completion_InheritCSP, Completion_InjCSP, Completion_NAC, Completion_SimpleBT, MorphCompletionStrategy

public interface CompletionPropertyBits

This interface defines symbolic names for the properties that can be asked from a morphism completion strategy. These are names for the bits of a BitSet that is used to define which properties are supported by a concrete completion strategy and which properties are actually set.

Example 1: When you want to know if a given strategy strat supports restriction to completions that satisfy the dangling condition, you would ask strat.getSupportedProperties().get(DANGLING).

Example 2: When you want a strategy to find only injective completions, you would do strat.getProperties().set(INJECTIVE). Setting a property that is not supported will have no effect.

Example 3: You can access all available property bits - supported or unsupported - in a loop, without having to name each bit explicitly. The following sample code prints the names of all available bits to standard out:

 for (int i = 0; i < CompletionPropertyBits.BITNAME.length; i++)
        System.out.println(CompletionPropertyBits.BITNAME[i]);
 

See Also:
BitSet, StrategyProperties, MorphCompletionStrategy

Field Summary
static java.lang.String[] BITNAME
          A short descriptive name for each of my bits.
static int DANGLING
          If this bit is set to true, only matches that satisfy the dangling condition will be found.
static int IDENTIFICATION
          If this bit is set to true, only matches that satisfy the identification condition will be found.
static int INJECTIVE
          If this bit is set to true, only injective completions of a morphism will be found.
static int NAC
          If this bit is set to true, only matches will be found that satisfy all the negative application conditions (NACs) a rule may have.
static int PAC
          If this bit is set to true, only matches will be found that satisfy all the positive application conditions (PACs) a rule may have.
 

Field Detail

INJECTIVE

static final int INJECTIVE
If this bit is set to true, only injective completions of a morphism will be found.

See Also:
Constant Field Values

DANGLING

static final int DANGLING
If this bit is set to true, only matches that satisfy the dangling condition will be found. (This bit only applies to the completion of match morphisms.)

See Also:
Constant Field Values

IDENTIFICATION

static final int IDENTIFICATION
If this bit is set to true, only matches that satisfy the identification condition will be found. (This bit only applies to the completion of match morphisms.)

See Also:
Constant Field Values

NAC

static final int NAC
If this bit is set to true, only matches will be found that satisfy all the negative application conditions (NACs) a rule may have. (This bit only applies to the completion of match morphisms.)

See Also:
Constant Field Values

PAC

static final int PAC
If this bit is set to true, only matches will be found that satisfy all the positive application conditions (PACs) a rule may have. (This bit only applies to the completion of match morphisms.)

See Also:
Constant Field Values

BITNAME

static final java.lang.String[] BITNAME
A short descriptive name for each of my bits. This may be used e.g. for GUI button labels.