public List<IntroductionRule> introductionRules(){
List<IntroductionRule> nodes=new ArrayList<IntroductionRule>();
- nodes.addAll(super.introductionRules());
+ nodes.addAll(super.introductionRules()); //eredita la R.A.A.
return nodes;
}
return false;
}
- public boolean isCompatible(Node n) {
- return true;
- }
-
@Override
public Formula duplicate() {
return new Literal(this.L.charAt(0));