@Override public String toString() { return atom.toString(); } }
public boolean assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated,ABox abox, CompletionStrategy strategy) { asserted = true; this.binding = binding; this.ds = ds; this.negated = negated; this.strategy = strategy; this.abox = abox; atom.accept( this ); return asserted; }
public boolean equals( Object other ) { if ( other instanceof AtomDVariable ) { return super.equals( other ); } return false; } }
public boolean matches(RuleAtom atom) { return ((atom instanceof IndividualPropertyAtom) || (atom instanceof DatavaluedPropertyAtom)) && atom.getPredicate().equals(role.getName()) && ((BinaryAtom) atom).getArgument1() instanceof AtomIConstant && ((AtomIConstant)((BinaryAtom) atom).getArgument1()).getValue().equals(name) && ((BinaryAtom) atom).getArgument2() instanceof AtomConstant && ((AtomConstant)((BinaryAtom) atom).getArgument2()).getValue().equals(objectName); }
/** * Static convenience function to return the instance variables used * in the given atom. */ public static Collection<AtomIVariable> getIVars(RuleAtom atom) { VisitingICollector collector = new VisitingICollector(); for( AtomObject obj : atom.getAllArguments() ) { obj.accept( collector ); } return collector.getVariables(); }
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(AtomIConstant constant) { term = constant.getValue(); }
public ATermAppl translate(AtomObject obj) { term = null; obj.accept( this ); return term; }
/** * {@inheritDoc} */ public void visit(AtomDConstant constant) { term = constant.getValue(); }
/** * Static convenience function to return the instance variables used * in the given atom. */ public static Collection<AtomIVariable> getIVars(RuleAtom atom) { VisitingICollector collector = new VisitingICollector(); for( AtomObject obj : atom.getAllArguments() ) { obj.accept( collector ); } return collector.getVariables(); }
/** * May return true if atom is something that * will be added to the ABox during completion. */ public boolean isSafe(RuleAtom atom) { atom.accept(this); return result; }
public boolean equals( Object other ) { if ( other instanceof AtomIVariable ) { return super.equals( other ); } return false; }
/** * {@inheritDoc} */ public void visit(AtomIConstant constant) { term = constant.getValue(); }
/** * Static convenience function to return the variables used * in the given atom. */ public static Collection<AtomVariable> getVars(RuleAtom atom) { VisitingCollector collector = new VisitingCollector(); for( AtomObject obj : atom.getAllArguments() ) { obj.accept( collector ); } return collector.getVariables(); }
public ATermAppl translate(RuleAtom ruleAtom) { term = null; ruleAtom.accept( this ); return term; }
public boolean equals( Object other ) { if ( other instanceof AtomDVariable ) { return super.equals( other ); } return false; } }
public String explainNotUsable(RuleAtom atom) { notUsableMessage = null; atom.accept(this); return notUsableMessage; } }
public boolean equals( Object other ) { if ( other instanceof AtomIVariable ) { return super.equals( other ); } return false; }
public ATermAppl translate(RuleAtom ruleAtom) { term = null; ruleAtom.accept( this ); return term; }
public boolean assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated,ABox abox, CompletionStrategy strategy) { asserted = true; this.binding = binding; this.ds = ds; this.negated = negated; this.strategy = strategy; this.abox = abox; atom.accept( this ); return asserted; }