theory

open override val theory: T
Content copied to clipboard

The result always present value, is the clause database resulting from the operation execution