Toggle menu
Nitlanguage.org
Nitdoc
logic
lexpr
CNF
data
fun
data
:
Set
[
Set
[
LExpr
]]
logic
::
CNF
::
data
Doc
Linearization
Summary
The conjunction of disjunction of units.
The conjunction of disjunction of units.
Summary
Property definitions
logic$CNF$data
Property definitions
logic
$
CNF
::
data
# The conjunction of disjunction of units.
var
data
=
new
Set
[
Set
[
LExpr
]
]
lib/logic/lexpr.nit:331,2--332,31