ap.terfor.conjunctions
A lazy version of conjunctions. This class can be useful when recursively constructing large formulae, since the number of invocations of methods of the class Conjunction is reduced.
Conjunction
A lazy version of conjunctions. This class can be useful when recursively constructing large formulae, since the number of invocations of methods of the class
Conjunction
is reduced.