GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
BACKTRACKING_NODE_GLOBALS
+
Point of view
All features
ANY
All features
deferred class BACKTRACKING_NODE_GLOBALS
Summary
top
common invariant nodes
Direct parents
Insert list:
ANY
Known children
Inherit list:
REGULAR_EXPRESSION_ITEM_GLOBALS
Insert list:
BACKTRACKING_NODE_NOT
,
BACKTRACKING_NODE_OR_TRUE
,
BACKTRACKING_NODE_TRUE_OR
Overview
top
Features
and/or basics
{
ANY
}
the_cut_node
:
BACKTRACKING_NODE_CUT
the_true_node
:
BACKTRACKING_NODE_TRUE
the_false_node
:
BACKTRACKING_NODE_FALSE
the_cut_and_false_node
:
BACKTRACKING_NODE_CUT_AND_FALSE
the_cut_node
:
BACKTRACKING_NODE_CUT
once function
{
ANY
}
top
the_true_node
:
BACKTRACKING_NODE_TRUE
once function
{
ANY
}
top
the_false_node
:
BACKTRACKING_NODE_FALSE
once function
{
ANY
}
top
the_cut_and_false_node
:
BACKTRACKING_NODE_CUT_AND_FALSE
once function
{
ANY
}
top