@Override public void visit(final SameIndividualAtom atom) { _tester = new TestDifferent(atom.getArgument1(), atom.getArgument2()); }
@Override public void visit(final DifferentIndividualsAtom atom) { _tester = new TestDifferent(atom.getArgument1(), atom.getArgument2()); }
@Override public void visit(final SameIndividualAtom atom) { _tester = new TestDifferent(atom.getArgument1(), atom.getArgument2()); }
@Override public void visit(final DifferentIndividualsAtom atom) { _tester = new TestDifferent(atom.getArgument1(), atom.getArgument2()); }