public ATermAppl translate(final AtomObject obj) { _term = null; obj.accept(this); return _term; }
public ATermAppl translate(final AtomObject obj) { _term = null; obj.accept(this); return _term; }
public NodeProvider translateObject(final AtomObject obj, final boolean allowNull) { _dependency = DependencySet.INDEPENDENT; obj.accept(this); if (_result == null && !allowNull) throw new UnsupportedOperationException(); return _result; }
public NodeProvider translateObject(final AtomObject obj, final boolean allowNull) { _dependency = DependencySet.INDEPENDENT; obj.accept(this); if (_result == null && !allowNull) throw new UnsupportedOperationException(); return _result; }
/** * @return true if atom object is a variable * @param obj */ public static boolean isVariable(final AtomObject obj) { final VisitingCollector collector = new VisitingCollector(); obj.accept(collector); return collector.getVariables().size() == 1; }
/** * @return true if atom object is a variable * @param obj */ public static boolean isVariable(final AtomObject obj) { final VisitingCollector collector = new VisitingCollector(); obj.accept(collector); return collector.getVariables().size() == 1; }
/** * Static convenience function to return the instance variables used in the given atom. * * @param atom * @return return the instance variables used in the given atom. */ public static Collection<AtomIVariable> getIVars(final RuleAtom atom) { final VisitingICollector collector = new VisitingICollector(); for (final AtomObject obj : atom.getAllArguments()) obj.accept(collector); return collector.getVariables(); }
/** * Static convenience function to return the variables used in the given atom. * * @param atom * @return the variables used in the given atom. */ public static Collection<AtomVariable> getVars(final RuleAtom atom) { final VisitingCollector collector = new VisitingCollector(); for (final AtomObject obj : atom.getAllArguments()) obj.accept(collector); return collector.getVariables(); }
/** * Static convenience function to return the instance variables used in the given atom. * * @param atom * @return return the instance variables used in the given atom. */ public static Collection<AtomIVariable> getIVars(final RuleAtom atom) { final VisitingICollector collector = new VisitingICollector(); for (final AtomObject obj : atom.getAllArguments()) obj.accept(collector); return collector.getVariables(); }
/** * Static convenience function to return the variables used in the given atom. * * @param atom * @return the variables used in the given atom. */ public static Collection<AtomVariable> getVars(final RuleAtom atom) { final VisitingCollector collector = new VisitingCollector(); for (final AtomObject obj : atom.getAllArguments()) obj.accept(collector); return collector.getVariables(); }
/** * Static convenience function to return the instance variables used in the given atom. * * @param atom * @return return the instance variables used in the given atom. */ public static Collection<AtomDVariable> getDVars(final RuleAtom atom) { final VisitingDCollector collector = new VisitingDCollector(); for (final AtomObject obj : atom.getAllArguments()) obj.accept(collector); return collector.getVariables(); }
/** * Static convenience function to return the instance variables used in the given atom. * * @param atom * @return return the instance variables used in the given atom. */ public static Collection<AtomDVariable> getDVars(final RuleAtom atom) { final VisitingDCollector collector = new VisitingDCollector(); for (final AtomObject obj : atom.getAllArguments()) obj.accept(collector); return collector.getVariables(); }