private boolean argMatches(ClassAtom atom) { AtomObject arg = atom.getArgument(); return name == null ? arg instanceof AtomVariable : (arg instanceof AtomIConstant && ((AtomIConstant) arg).getValue().equals(name)); }
/** * {@inheritDoc} */ public void visit(ClassAtom atom) { ATermAppl c = atom.getPredicate(); ATermAppl i = translate( atom.getArgument() ); term = ATermUtils.makeTypeAtom( i, c ); }
/** * {@inheritDoc} */ public void visit(ClassAtom atom) { ATermAppl c = atom.getPredicate(); ATermAppl i = translate( atom.getArgument() ); term = ATermUtils.makeTypeAtom( i, c ); }
public void visit(ClassAtom atom) { tester = new TestClass( ATermUtils.normalize( atom.getPredicate() ), atom.getArgument() ); }
@Override public void visit(ClassAtom atom) { NodeProvider s = translator.translateObject(atom.getArgument()); ATermAppl type = atom.getPredicate(); node = new ProductionNode.Type(strategy, explain, s, type); }
@Override public void visit(ClassAtom atom) { AtomObject arg = atom.getArgument(); ATermAppl name = (arg instanceof AtomConstant) ? ((AtomConstant) arg).getValue() : null; result = new AlphaTypeNode(abox, atom.getPredicate(), name); }
public void visit(ClassAtom atom) { tester = new TestClass( ATermUtils.normalize( atom.getPredicate() ), atom.getArgument() ); }
public void visit(ClassAtom atom) { tester = new TestClass( ATermUtils.normalize( ATermUtils.negate( atom.getPredicate() ) ), atom .getArgument() ); }
public void visit(ClassAtom atom) { ATermAppl cls = atom.getPredicate(); ATermAppl ind = binding.get( atom.getArgument() ).getName(); addType( ind, cls ); }
public void visit(ClassAtom atom) { ATermAppl cls = atom.getPredicate(); ATermAppl ind = binding.get( atom.getArgument() ).getName(); addType( ind, cls ); }
public void visit(ClassAtom atom) { tester = new TestClass( ATermUtils.normalize( ATermUtils.negate( atom.getPredicate() ) ), atom .getArgument() ); }
public void visit(ClassAtom atom) { Pair<ATermAppl, DependencySet> arg = translateAtomObject(atom .getArgument()); DependencySet mergedDS = ds; if (arg.second != DependencySet.INDEPENDENT) mergedDS = ds.union(arg.second, abox.doExplanation()); result = new TermTuple(mergedDS, Compiler.TYPE, arg.first, atom .getPredicate()); }
if( atom instanceof ClassAtom ) { ClassAtom ca = (ClassAtom) atom; AtomIObject arg = ca.getArgument(); ATermAppl c = ca.getPredicate(); ATermAppl normC = ATermUtils.normalize( c ); if( atom instanceof ClassAtom ) { ClassAtom ca = (ClassAtom) atom; AtomIObject arg = ca.getArgument(); ATermAppl c = ca.getPredicate(); ATermAppl normC = ATermUtils.normalize( c ); continue; else if( c != normC ) atom = new ClassAtom( normC, ca.getArgument() );
if( atom instanceof ClassAtom ) { ClassAtom ca = (ClassAtom) atom; AtomIObject arg = ca.getArgument(); ATermAppl c = ca.getPredicate(); ATermAppl normC = ATermUtils.normalize( c ); if( atom instanceof ClassAtom ) { ClassAtom ca = (ClassAtom) atom; AtomIObject arg = ca.getArgument(); ATermAppl c = ca.getPredicate(); ATermAppl normC = ATermUtils.normalize( c ); continue; else if( c != normC ) atom = new ClassAtom( normC, ca.getArgument() );