@Override public <A extends ElkAxiom> String defaultAxiomEntailmentVisit( final AxiomEntailment<A> axiomEntailment) { return axiomEntailment.getAxiom().toString(); }
@Override public <A extends ElkAxiom> String defaultAxiomEntailmentVisit( final AxiomEntailment<A> axiomEntailment) { return axiomEntailment.getAxiom().toString(); }
@Override public <A extends ElkAxiom> String defaultAxiomEntailmentVisit( final AxiomEntailment<A> axiomEntailment) { return axiomEntailment.getAxiom().toString(); }
entailmentInference.getConclusion().getAxiom().accept(axiomVisitor);
entailmentInference.getConclusion().getAxiom().accept(axiomVisitor);
entailmentInference.getConclusion().getAxiom().accept(axiomVisitor);