_max_occupied_memory = _initial_memory;
_name = new String(s);
_active_undoable_once = new FastStack();
_intvars = new FastVector();
_floatvars = new FastVector();
_intsetvars = new FastVector();
_constraints = new FastVector();
// _goals = new FastVector();
// _execution_stack = new FastStack();
// _alternative_stack = new FastStack();
// _reversibility_stack = new FastStack();
_reversibility_stack = new UndoStack();
_goal_stack = new GoalStack(_reversibility_stack);
_propagation_queue = new FastQueue();
// _goal_CP_marker = new GoalDisplay(this, "ChoicePointMarker");
// _undo_CP_marker = new UndoImpl();
// _save_goal = new GoalDisplay(this,"Save");
// _restore_goal = new GoalAnd(new GoalDisplay(this, "\nRestore!"),
// new GoalFail(this));
_show_internal_names = false;
_show_variable_names = true;
_choice_point = 0;
_number_of_choice_points = 0;
_number_of_failures = 0;
_number_of_notifications = 0;
_failure_display_frequency = 0;
_number_of_undos = 0;
_choice_point_objects = new FastVector();
_failure_objects = new FastVector();
_backtrack_objects = new FastVector();
_trace_goals = false;
_time_limit = 0;
_time_limit_exceeded = false;
// _failure = new Failure();