Represents a single frame in the LP interpreter's choice point stack,
represents the OR part of the search tree.
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.8 $ on $Date: 2008/01/02 12:06:16 $
init(LPInterpreter interpreter, List predicateClauses) Initialize a choice point to preserve the current context of the given intepreter
and then call the given set of predicates.
public ChoicePointFrame(LPInterpreter interpreter, List predicateClauses, boolean isSingleton)(Code)
Constructor.
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 Parameters: predicateClauses - the list of predicates for this choice point Parameters: isSingleton - true if this choice should abort after one successful result
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 Parameters: predicateClauses - the list of predicates for this choice point