@Override public String visit(ForwardLinkComposition inference) { return String.format("%s -| %s; %s; %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_), inference.getThirdPremise(factory_), inference.getFourthPremise(factory_)); }
@Override public String visit(ForwardLinkComposition inference) { return String.format("%s -| %s; %s; %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_), inference.getThirdPremise(factory_), inference.getFourthPremise(factory_)); }
@Override public String visit(ForwardLinkComposition inference) { return String.format("%s -| %s; %s; %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_), inference.getThirdPremise(factory_), inference.getFourthPremise(factory_)); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); case 2: return getThirdPremise(factory); case 3: return getFourthPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); case 2: return getThirdPremise(factory); case 3: return getFourthPremise(factory); default: return failGetPremise(index); } }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); case 2: return getThirdPremise(factory); case 3: return getFourthPremise(factory); default: return failGetPremise(index); } }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getThirdPremise(conclusionFactory_)); } return null; }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getThirdPremise(conclusionFactory_)); } return null; }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); if (inference.getOrigin() == inference.getDestination()) { conclusionVisitor_ .visit(inference.getThirdPremise(conclusionFactory_)); } return null; }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); conclusionVisitor_.visit(inference.getThirdPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getFourthPremise(conclusionFactory_)); return null; }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); conclusionVisitor_.visit(inference.getThirdPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getFourthPremise(conclusionFactory_)); return null; }
@Override public O visit(ForwardLinkComposition inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); conclusionVisitor_.visit(inference.getThirdPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getFourthPremise(conclusionFactory_)); return null; }
public ForwardLinkMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getParent().getParent().getThirdPremise( factory), getParent().getParent().getOriginMatch(), fullPremiseForwardChainMatch_, premiseForwardChainStartPos_); }
public ForwardLinkMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getParent().getParent().getThirdPremise( factory), getParent().getParent().getOriginMatch(), fullPremiseForwardChainMatch_, premiseForwardChainStartPos_); }
public ForwardLinkMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getParent().getParent().getThirdPremise( factory), getParent().getParent().getOriginMatch(), fullPremiseForwardChainMatch_, premiseForwardChainStartPos_); }