@Override public Collection<ATermAppl> getConstants() { if (_consts == null) setup(); return _consts; }
@Override public QueryAtom apply(final ResultBinding binding) { if (isGround()) return this; final List<ATermAppl> newArguments = new ArrayList<>(); for (final ATermAppl a : _arguments) if (binding.isBound(a)) newArguments.add(binding.getValue(a)); else newArguments.add(a); final List<QueryAtom> newAtoms = new ArrayList<>(); for (final QueryAtom a : _atoms) newAtoms.add(a.apply(binding)); return new CoreImpl(newArguments, _undistVars, newAtoms); }
@Override public QueryAtom apply(final ResultBinding binding) { if (isGround()) return this; final List<ATermAppl> newArguments = new ArrayList<>(); for (final ATermAppl a : _arguments) if (binding.isBound(a)) newArguments.add(binding.getValue(a)); else newArguments.add(a); final List<QueryAtom> newAtoms = new ArrayList<>(); for (final QueryAtom a : _atoms) newAtoms.add(a.apply(binding)); return new CoreImpl(newArguments, _undistVars, newAtoms); }
@Override public QueryAtom apply(final ResultBinding binding) { if (isGround()) return this; final List<ATermAppl> newArguments = new ArrayList<>(); for (final ATermAppl a : _arguments) if (binding.isBound(a)) newArguments.add(binding.getValue(a)); else newArguments.add(a); final List<QueryAtom> newAtoms = new ArrayList<>(); for (final QueryAtom a : _atoms) newAtoms.add(a.apply(binding)); return new CoreImpl(newArguments, _undistVars, newAtoms); }
@Override public Collection<ATermAppl> getDistVars() { if (_distVars == null) setup(); return _distVars; }
@Override public Collection<ATermAppl> getUndistVars() { if (_undistVars == null) setup(); return _undistVars; }
@Override public Collection<ATermAppl> getConstants() { if (_consts == null) setup(); return _consts; }
@Override public Collection<ATermAppl> getConstants() { if (_consts == null) setup(); return _consts; }
@Override public Collection<ATermAppl> getUndistVars() { if (_undistVars == null) setup(); return _undistVars; }
@Override public Collection<ATermAppl> getDistVars() { if (_distVars == null) setup(); return _distVars; }
@Override public Collection<ATermAppl> getUndistVars() { if (_undistVars == null) setup(); return _undistVars; }
@Override public Collection<ATermAppl> getDistVars() { if (_distVars == null) setup(); return _distVars; }