@Override public Boolean visit(SubContextInitialization subConclusion) { SubContext subContext = getCreateSubContext(subConclusion .getSubDestination()); if (subContext == null) return false; // else return subContext.containsSubConclusion(subConclusion); }
@Override public Boolean visit(Propagation subConclusion) { SubContext subContext = getCreateSubContext(subConclusion .getSubDestination()); if (subContext == null) return false; // else return subContext.containsSubConclusion(subConclusion); }
@Override public Boolean visit(Propagation subConclusion) { SubContext subContext = getCreateSubContext(subConclusion .getSubDestination()); if (subContext == null) return false; // else return subContext.containsSubConclusion(subConclusion); }
@Override public Boolean visit(SubContextInitialization subConclusion) { SubContext subContext = getCreateSubContext(subConclusion .getSubDestination()); if (subContext == null) return false; // else return subContext.containsSubConclusion(subConclusion); }
@Override public Boolean visit(Propagation subConclusion) { SubContext subContext = getCreateSubContext(subConclusion .getSubDestination()); if (subContext == null) return false; // else return subContext.containsSubConclusion(subConclusion); }
@Override public Boolean visit(SubContextInitialization subConclusion) { SubContext subContext = getCreateSubContext(subConclusion .getSubDestination()); if (subContext == null) return false; // else return subContext.containsSubConclusion(subConclusion); }
@Override public Boolean visit(BackwardLink subConclusion) { if (subConclusion.getTraceRoot() == root_) { // reflexive return reflexiveBackwardLinks_ != null && reflexiveBackwardLinks_.contains(subConclusion .getRelation()); } // else non-reflexive SubContext subContext = getCreateSubContext(subConclusion .getRelation()); return subContext != null && subContext.containsSubConclusion(subConclusion); }
@Override public Boolean visit(BackwardLink subConclusion) { if (subConclusion.getTraceRoot() == root_) { // reflexive return reflexiveBackwardLinks_ != null && reflexiveBackwardLinks_.contains(subConclusion .getRelation()); } // else non-reflexive SubContext subContext = getCreateSubContext(subConclusion .getRelation()); return subContext != null && subContext.containsSubConclusion(subConclusion); }
@Override public Boolean visit(BackwardLink subConclusion) { if (subConclusion.getTraceRoot() == root_) { // reflexive return reflexiveBackwardLinks_ != null && reflexiveBackwardLinks_.contains(subConclusion .getRelation()); } // else non-reflexive SubContext subContext = getCreateSubContext(subConclusion .getRelation()); return subContext != null && subContext.containsSubConclusion(subConclusion); }