SolverEvent
constructor(event: T, unificator: Unificator, operators: OperatorSet, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore)
Type Parameters
T
the type of the wrapped domain event.
Builds a SolverEvent wrapping event, copying the it.unibo.tuprolog.solve.ExecutionContext fields from other (typically the solver instance itself); staticKb and dynamicKb are snapshotted into immutable theories so that later mutations of the live solver do not retroactively change this event.