choco.kernel.model.constraints.cnf
Class LogicTreeToolBox

java.lang.Object
  extended by choco.kernel.model.constraints.cnf.LogicTreeToolBox

public class LogicTreeToolBox
extends Object


Since:
21/12/10
Author:
Charles Prud'homme

Constructor Summary
protected LogicTreeToolBox()
           
 
Method Summary
static ALogicTree developOr(ALogicTree t)
           
static ALogicTree distribute(ALogicTree t)
           
static void expandNot(ALogicTree t)
           
static void merge(ALogicTree.Operator op, ALogicTree t)
           
static ALogicTree simplify(ALogicTree t)
           
static ALogicTree simplifySingleton(ALogicTree t)
           
static ALogicTree toCNF(ALogicTree t)
          Warning: if there is a bug, please check the CNF build is like: - lit OR lit ...
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LogicTreeToolBox

protected LogicTreeToolBox()
Method Detail

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.