class EvaluateFormulasCommand extends AbstractCommand {

	@Override
	public void processResult(final ISimplifiedROMap<String, PrologTerm> bindings) {

		ListPrologTerm terms = BindingGenerator.getList(bindings, EVALUATE_RESULT_VARIABLE);
		for (PrologTerm term : terms) {
			values.add(EvalResult.getEvalResult(term));
		}
	}

	public  EvaluateFormulasCommand(final List<IEvalElement> evalElements, final String stateId);

}