choco.kernel.model.constraints.cnf
Class LogicTreeToolBox
java.lang.Object
choco.kernel.model.constraints.cnf.LogicTreeToolBox
public class LogicTreeToolBox
- extends Object
- Since:
- 21/12/10
- Author:
- Charles Prud'homme
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LogicTreeToolBox
protected LogicTreeToolBox()
expandNot
public static void expandNot(ALogicTree t)
merge
public static void merge(ALogicTree.Operator op,
ALogicTree t)
developOr
public static ALogicTree developOr(ALogicTree t)
distribute
public static ALogicTree distribute(ALogicTree t)
simplify
public static ALogicTree simplify(ALogicTree t)
simplifySingleton
public static ALogicTree simplifySingleton(ALogicTree t)
toCNF
public static ALogicTree toCNF(ALogicTree t)
- Warning: if there is a bug, please check the CNF build is like:
- lit OR lit ... OR lit
- (lit OR lit ... OR lit) AND (lit OR lit ... OR lit) ... AND (lit OR lit ... OR lit)
- Parameters:
t
-
- Returns:
Copyright © 2012. All Rights Reserved.