contains

abstract operator fun contains(clause: <ERROR CLASS>): Boolean

Checks if given clause is contained in this theory

abstract operator fun contains(head: <ERROR CLASS>): Boolean

Checks if given clause is present in this theory

abstract operator fun contains(indicator: <ERROR CLASS>): Boolean

Checks if clauses exists in this theory having the specified Indicator as head; this should be Indicator.isWellFormed