@Override public void setCurrentBinding(final VariableBinding currentBinding) { if (VariableUtils.isVariable(_head)) { final ATermAppl resultTerm = ATermUtils.makePlainLiteral(_match); final Literal resultLit = currentBinding.getABox().addLiteral(resultTerm); currentBinding.set(_head, resultLit); } }
@Override public void setCurrentBinding(final VariableBinding currentBinding) { if (VariableUtils.isVariable(_head)) { final ATermAppl resultTerm = ATermUtils.makePlainLiteral(_match); final Literal resultLit = currentBinding.getABox().addLiteral(resultTerm); currentBinding.set(_head, resultLit); } }
_value = _function.apply(newBinding.getABox(), resultLit, arguments);
_value = _function.apply(newBinding.getABox(), resultLit, arguments);