@Override public String toString() { return getRoot() + "[hybrid]"; }
@Override public ContextPremises get() { ContextPremises localPremises = localPremisesRef_.get(); ContextPremises mainPremises = mainState_ .getContext(localPremises.getRoot()); if (conclusion_ instanceof SubClassConclusion) { // this conclusion is not local for the context; it can be used // in rules only with conclusions that are local for the context return mainPremises; } // else conclusion must be local for the context return new HybridContextPremises(localPremises, mainPremises); }
@Override public ContextPremises get() { ContextPremises localPremises = localPremisesRef_.get(); ContextPremises mainPremises = mainState_ .getContext(localPremises.getRoot()); if (conclusion_ instanceof SubClassConclusion) { // this conclusion is not local for the context; it can be used // in rules only with conclusions that are local for the context return mainPremises; } // else conclusion must be local for the context return new HybridContextPremises(localPremises, mainPremises); }
@Override public ContextPremises get() { ContextPremises localPremises = localPremisesRef_.get(); ContextPremises mainPremises = mainState_ .getContext(localPremises.getRoot()); if (conclusion_ instanceof SubClassConclusion) { // this conclusion is not local for the context; it can be used // in rules only with conclusions that are local for the context return mainPremises; } // else conclusion must be local for the context return new HybridContextPremises(localPremises, mainPremises); }
@Override public String toString() { return getRoot() + "[hybrid]"; }
@Override public String toString() { return getRoot() + "[hybrid]"; }