|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Constraint
Nested Class Summary | |
---|---|
static class |
Constraint.ConstraintType
An enum for Constraint Types |
Method Summary | |
---|---|
Object |
clone()
Clones the constraint |
Declaration[] |
getRequiredDeclarations()
Returns all the declarations required by the given constraint implementation. |
Constraint.ConstraintType |
getType()
Returns the type of the constraint, either ALPHA, BETA or UNKNOWN |
boolean |
isTemporal()
Returns true in case this constraint is a temporal constraint |
void |
replaceDeclaration(Declaration oldDecl,
Declaration newDecl)
When a rule contains multiple logical branches, i.e., makes use of 'OR' CE, it is required to clone patterns and declarations for each logical branch. |
Methods inherited from interface java.io.Externalizable |
---|
readExternal, writeExternal |
Method Detail |
---|
Declaration[] getRequiredDeclarations()
void replaceDeclaration(Declaration oldDecl, Declaration newDecl)
oldDecl
- newDecl
- Object clone()
Constraint.ConstraintType getType()
boolean isTemporal()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |