public void execute(IOAVState state, IVariableAssignments assignments) { Object f4 = assignments.getVariableValue("?f4"); Object n = assignments.getVariableValue("?n"); Object s = assignments.getVariableValue("?s"); System.out.println("Result: guest="+n+" seat="+s); state.dropObject(f4); } };
state.dropObject(goal); goal = postcondition;