Interface | Description |
---|---|
ILogical |
|
Class | Description |
---|---|
LogicTreeToolBox |
A tool box to convert logical expressions into CNF.
|
LogOp |
Logical Operator, to ease clause definition.
|
PropFalse |
|
PropTrue |
|
SatConstraint |
|
Enum | Description |
---|---|
LogOp.Operator | |
LogOp.Type |
Copyright © 2018. All rights reserved.