Toggle menu
Nitlanguage.org
Nitdoc
logic
lexpr
CNF
_data
private
var
_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