public String toString() { return getArgument1()+" != "+getArgument2(); }
public String toString() { return getArgument1()+" != "+getArgument2(); }
public void visit(DifferentIndividualsAtom atom) { tester = new TestDifferent( atom.getArgument1(), atom.getArgument2() ); }
public void visit(DifferentIndividualsAtom atom) { tester = new TestDifferent( atom.getArgument1(), atom.getArgument2() ); }
public void visit(DifferentIndividualsAtom atom) { tester = new TestSame( atom.getArgument1(), atom.getArgument2() ); }
public void visit(DifferentIndividualsAtom atom) { tester = new TestSame( atom.getArgument1(), atom.getArgument2() ); }
/** * {@inheritDoc} */ public void visit(DifferentIndividualsAtom atom) { ATermAppl t1 = translate( atom.getArgument1() ); ATermAppl t2 = translate( atom.getArgument2() ); term = ATermUtils.makeDifferent( t1, t2 ); }
/** * {@inheritDoc} */ public void visit(DifferentIndividualsAtom atom) { ATermAppl t1 = translate( atom.getArgument1() ); ATermAppl t2 = translate( atom.getArgument2() ); term = ATermUtils.makeDifferent( t1, t2 ); }
@Override public void visit(DifferentIndividualsAtom atom) { NodeProvider s = translator.translateObject(atom.getArgument1()); NodeProvider o = translator.translateObject(atom.getArgument2()); node = new ProductionNode.DiffFrom(strategy, explain, s, o); }
public void visit(DifferentIndividualsAtom atom) { ATermAppl ind1 = binding.get( atom.getArgument1() ).getName(); ATermAppl ind2 = binding.get( atom.getArgument2() ).getName(); ATermAppl cls = not( value( ind2 ) ); addType( ind1, cls ); }
public void visit(DifferentIndividualsAtom atom) { ATermAppl ind1 = binding.get( atom.getArgument1() ).getName(); ATermAppl ind2 = binding.get( atom.getArgument2() ).getName(); ATermAppl cls = not( value( ind2 ) ); addType( ind1, cls ); }
public void visit(DifferentIndividualsAtom atom) { Pair<ATermAppl, DependencySet> arg1 = translateAtomObject(atom .getArgument1()); Pair<ATermAppl, DependencySet> arg2 = translateAtomObject(atom .getArgument2()); DependencySet mergedDS = ds; if (arg1.second != DependencySet.INDEPENDENT) mergedDS = ds.union(arg1.second, abox.doExplanation()); if (arg2.second != DependencySet.INDEPENDENT) mergedDS = ds.union(arg2.second, abox.doExplanation()); result = new TermTuple(mergedDS, Compiler.DIFF_FROM, arg1.first, arg2.first); }