contains

abstract operator fun contains(clause: Clause): Boolean

Checks if given clause is contained in this theory

abstract operator fun contains(head: Struct): Boolean

Checks if given clause is present in this theory

abstract operator fun contains(indicator: Indicator): Boolean

Checks if clauses exist in this theory having the specified indicator as head.