|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectvisidia.rule.Rule
public class Rule
Field Summary | |
---|---|
protected Star |
after
|
protected Star |
befor
|
protected RuleVector |
forbContexts
|
protected boolean |
simpleRule
|
protected int |
type
|
Constructor Summary | |
---|---|
Rule()
default constructor. default values are defined in class: Star, RuleVector |
|
Rule(Star b,
Star a)
a constructor a Rule without forbidden contexts. |
|
Rule(Star b,
Star a,
RuleVector fc)
|
Method Summary | |
---|---|
Star |
after()
return the star after. |
Star |
befor()
return the star before |
java.lang.Object |
clone()
clones the rule. |
int |
defaultSynchDegree()
this method returns an integer RDV LC1 RDV_LC1 or LC2, indicating witch synchronization algorithms are supported by the rule. |
boolean |
equals(Rule r)
return true if the rules are equals. warning: forbidden contexts are not compared. |
RuleVector |
forbContexts()
return the RuleVector of forbidden contexts. |
int |
getType()
return the type of the rule. possible types are defined in class SynCT. |
Rule |
inverseSimpleRule()
return the inverse of a simple rule. example: A-N --> U-V {fc} becomes N-A --> V-U {fc} |
boolean |
isApplicableTo(Star neighbourhood)
this method decides if the rule can be applied to the context neighborhood. |
boolean |
isSimpleRule()
return true if the rule is simple, false otherwise. |
void |
setSimpleRule(boolean b)
sets the kind of rule, tue if simple, false if not simple. |
void |
setType(int t)
sets the type of the rule. possible values are defined in class SynCT. no verification is done. |
java.lang.String |
toString()
|
boolean |
withForbContexts()
this method check if the rule contains any forbidden contexts or no. |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected Star befor
protected Star after
protected RuleVector forbContexts
protected int type
protected boolean simpleRule
Constructor Detail |
---|
public Rule()
public Rule(Star b, Star a)
public Rule(Star b, Star a, RuleVector fc)
b
- the star beforea
- the star afterfc
- a RuleVector of forbidden contexts.Method Detail |
---|
public Star befor()
public Star after()
public RuleVector forbContexts()
public boolean withForbContexts()
public java.lang.String toString()
toString
in class java.lang.Object
public void setType(int t)
public int getType()
public boolean isSimpleRule()
public void setSimpleRule(boolean b)
public boolean equals(Rule r)
r
- rule.public int defaultSynchDegree()
public boolean isApplicableTo(Star neighbourhood)
neighbourhood
- the context.
public Rule inverseSimpleRule()
public java.lang.Object clone()
clone
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |