State

Represents a State of Prolog solver state-machine

Fields

Name	Description
`abstract solve: Solve`	The Solve.Request or Solve.Response that this state carries with it
`abstract hasBehaved: Boolean`	A flag signaling if this State.behave has been called
`abstract context: ExecutionContext`	The state machine execution context in this state

Methods

abstract fun behave(): Sequence<State>

Makes the state behave and lazily returns next states

ReturnValue

Name	Description
`Sequence<State>`