|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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]);
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 |
---|
static final int INJECTIVE
true
, only injective completions of
a morphism will be found.
static final int DANGLING
true
, only matches that satisfy the
dangling condition will be found. (This bit only applies to the
completion of match morphisms.)
static final int IDENTIFICATION
true
, only matches that satisfy the
identification condition will be found. (This bit only applies to the
completion of match morphisms.)
static final int NAC
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.)
static final int PAC
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.)
static final java.lang.String[] BITNAME
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |