@Override public String toString() { return getArgument1() + " != " + getArgument2(); } }
@Override public String toString() { return getArgument1() + " != " + getArgument2(); } }
@Override public void visit(final DifferentIndividualsAtom atom) { _tester = new TestDifferent(atom.getArgument1(), atom.getArgument2()); }
@Override public void visit(final DifferentIndividualsAtom atom) { _tester = new TestSame(atom.getArgument1(), atom.getArgument2()); }
@Override public void visit(final DifferentIndividualsAtom atom) { _tester = new TestDifferent(atom.getArgument1(), atom.getArgument2()); }
@Override public void visit(final DifferentIndividualsAtom atom) { _tester = new TestSame(atom.getArgument1(), atom.getArgument2()); }
@Override public void visit(final DifferentIndividualsAtom atom) { final NodeProvider s = _translator.translateObject(atom.getArgument1()); final NodeProvider o = _translator.translateObject(atom.getArgument2()); _node = new ProductionNode.DiffFrom(_strategy, _explain, s, o); }
@Override public void visit(final DifferentIndividualsAtom atom) { final NodeProvider s = _translator.translateObject(atom.getArgument1()); final NodeProvider o = _translator.translateObject(atom.getArgument2()); _node = new ProductionNode.DiffFrom(_strategy, _explain, s, o); }
/** * {@inheritDoc} */ @Override public void visit(final DifferentIndividualsAtom atom) { final ATermAppl t1 = translate(atom.getArgument1()); final ATermAppl t2 = translate(atom.getArgument2()); _term = ATermUtils.makeDifferent(t1, t2); }
/** * {@inheritDoc} */ @Override public void visit(final DifferentIndividualsAtom atom) { final ATermAppl t1 = translate(atom.getArgument1()); final ATermAppl t2 = translate(atom.getArgument2()); _term = ATermUtils.makeDifferent(t1, t2); }
@Override public void visit(final DifferentIndividualsAtom atom) { final ATermAppl ind1 = _binding.get(atom.getArgument1()).getName(); final ATermAppl ind2 = _binding.get(atom.getArgument2()).getName(); final ATermAppl cls = not(value(ind2)); addType(ind1, cls); }
@Override public void visit(final DifferentIndividualsAtom atom) { final ATermAppl ind1 = _binding.get(atom.getArgument1()).getName(); final ATermAppl ind2 = _binding.get(atom.getArgument2()).getName(); final ATermAppl cls = not(value(ind2)); addType(ind1, cls); }