containsAll

abstract fun containsAll(elements: Iterable<Clause>): Boolean
Content copied to clipboard

Tells if the ClauseCollection contains all the given Clause