plus

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

Adds given Theory to this

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

Adds given Clause to this Theory