Creates a new state.
Creates a new state.
the initial system of equations
a triple consisting of one equational system an two term rewrite systems
the state the completion procedure is currently in
a list of used variables
a list of available term tools plus their arguments
the currently set flags
the precedence to use for lpo
the lists of selected indices of equations and rules
the number of runs to use in automatic completion
the list of strategies to use in automatic completion
the current equational logic proof tree
the current message
the initial system of equations
a triple consisting of one equational system an two term rewrite systems
the currently set flags
the lists of selected indices of equations and rules
the current message
the number of runs to use in automatic completion
the precedence to use for lpo
the state the completion procedure is currently in
the current equational logic proof tree
the list of strategies to use in automatic completion
a list of available term tools plus their arguments
a list of used variables
This class defines the state in which a running kbcv instance is in.