contains

abstract operator fun contains(element: Clause): Boolean
Content copied to clipboard

Tells if the ClauseCollection contains the given Clause