public class LogicTreeToolBox extends Object
Modifier | Constructor and Description |
---|---|
protected |
LogicTreeToolBox() |
Modifier and Type | Method and Description |
---|---|
static LogOp |
developOr(LogOp n) |
static LogOp |
distribute(LogOp n) |
static void |
expandNot(LogOp n) |
static void |
merge(LogOp.Operator op,
LogOp n) |
static ILogical |
simplify(ILogical t,
Solver solver) |
static ILogical |
simplifySingleton(ILogical l,
Solver solver) |
static ILogical |
toCNF(LogOp logOp,
Solver solver)
Warning: if there is a bug, please check the CNF build is like:
- lit OR lit ...
|
public static void expandNot(LogOp n)
public static void merge(LogOp.Operator op, LogOp n)
Copyright © 2015. All rights reserved.