Core properties of choice frames used use to represent the OR state of
the backtracking search. Specific variants of this need to preserve additional
choice state.
This is used in the inner loop of the interpreter and so is a pure data structure
not an abstract data type and assumes privileged access to the interpreter state.
author: Dave Reynolds version: $Revision: 1.7 $ on $Date: 2008/01/02 12:06:17 $
init(LPInterpreter interpreter) Initialize a choice point to preserve the current context of the given intepreter
and then call the given set of predicates.
public void
setContinuation(int pc, int ac) Set the continuation point for this frame.
Initialize a choice point to preserve the current context of the given intepreter
and then call the given set of predicates.
Parameters: interpreter - the LPInterpreter whose state is to be preserved