Removes all of this collection's elements that are also contained in the specified
collection. After this call returns, this collection will contain no elements in
common with the specified collection. Returns true if this collection has changed as a result of the call.
Enables passing of messages between the kodkod engine
and the client about the following stages of the analysis:
bounds optimization (symmetry detection and breaking of predicate symmetries)
formula optimization (predicate inlining and skolemization)
translation to a boolean circuit
symmetry breaking predicate (SBP) generation
circuit flattening
translation to cnf
running a sat solver on the generated cnf
Some of these stages may not be executed, depending on the
options used for analysis.
Retains only the elements in this collection that are contained in the specified
collection. In other words, removes from this collection all of its elements that
are not contained in the specified collection. Returns true if this collection has changed as a result of the call.