Toggle menu
Nitlanguage.org
Nitdoc
logic
lexpr
CNF
data=
protected
fun
data=
(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