Cluster lib/backtracking/node

BACKTRACKING_NODE_AND_LIST

Node for a sequence of list of nodes


 
BACKTRACKING_NODE_AND_PAIR

Node for a sequence of 2 nodes


 
BACKTRACKING_NODE_BINARY

Node for a sequence of 2 nodes


 
BACKTRACKING_NODE_CUT

node to call cut and continue


 
BACKTRACKING_NODE_CUT_AND_FALSE

node to call cut and stop the current path


 
BACKTRACKING_NODE_FALSE

Node that stops the current exploration.


 
BACKTRACKING_NODE_GLOBALS

common invariant nodes


 
BACKTRACKING_NODE_LIST

Node for a sequence of list of nodes


 
BACKTRACKING_NODE_NOT

node that negate a node what mean that the exploration will be continued if exploration of the subnode is stopped and conversly.


 
BACKTRACKING_NODE_OR_LIST

Node for an alternative of list of nodes


 
BACKTRACKING_NODE_OR_PAIR

Node for an alternative of 2 nodes


 
BACKTRACKING_NODE_OR_TRUE

Alternative between a node first and then nothing (as true)


 
BACKTRACKING_NODE_TRUE

Node that continues the current exploration.


 
BACKTRACKING_NODE_TRUE_OR

Alternative between nothing (as true) first and then a node


 
BACKTRACKING_NODE_UNARY

node that reference one subnode


 
BACKTRACKING_NODE_UNDER_CUT_POINT

node to evaluate an action under a cut point