plus

abstract operator fun plus(theory: Theory): Theory
Content copied to clipboard

Adds given Theory to this

open operator fun plus(clause: Clause): Theory
Content copied to clipboard

Adds given Clause to this Theory