PQPairs
gapt.examples.PQPairs
object PQPairs
Creates the n-th formula of a sequence where distributivity-based algorithm produces only exponential CNFs.
Attributes
- Source
- FormulaSequences.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
PQPairs.type
Members list
In this article