@Override
public void visit(SWRLDifferentIndividualsAtom node) {
node.getFirstArgument().accept(this);
SWRLIArgument arg0 = (SWRLIArgument) obj;
node.getSecondArgument().accept(this);
SWRLIArgument arg1 = (SWRLIArgument) obj;
obj = dataFactory.getSWRLDifferentIndividualsAtom(arg0, arg1);
}
@Override
public void visit(SWRLDifferentIndividualsAtom node) {
for (SWRLArgument a : node.getAllArguments()) {
writeSpace();
a.accept(this);
}
}
public Atom visit(SWRLDifferentIndividualsAtom atom) {
Variable variable1 = toVariable(atom.getFirstArgument());
Variable variable2 = toVariable(atom.getSecondArgument());
return Atom.create(Inequality.INSTANCE, variable1, variable2);
}
@Override
public void visit(SWRLDifferentIndividualsAtom node) {
handleObject(node);
node.getFirstArgument().accept(this);
node.getSecondArgument().accept(this);
}
public void visit(SWRLDifferentIndividualsAtom node) {
node.getFirstArgument().accept(this);
}