interface SideEffectManager: Any
Methods
cut
abstract fun cut(): SideEffectManager
A function to execute cut, and return a new SideEffectManager with executed cut
ReturnValue
Name | Description |
---|---|
SideEffectManager
|
An interface representing a manager for flow modifications that can occur to Prolog resolution process