Uses of Class
choco.kernel.model.constraints.cnf.ALogicTree.Operator

Packages that use ALogicTree.Operator
choco.kernel.model.constraints.cnf   
 

Uses of ALogicTree.Operator in choco.kernel.model.constraints.cnf
 

Methods in choco.kernel.model.constraints.cnf that return ALogicTree.Operator
static ALogicTree.Operator ALogicTree.Operator.flip(ALogicTree.Operator operator)
           
static ALogicTree.Operator ALogicTree.Operator.valueOf(String name)
          Returns the enum constant of this type with the specified name.
static ALogicTree.Operator[] ALogicTree.Operator.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Methods in choco.kernel.model.constraints.cnf with parameters of type ALogicTree.Operator
static ALogicTree.Operator ALogicTree.Operator.flip(ALogicTree.Operator operator)
           
 boolean Singleton.is(ALogicTree.Operator op)
           
 boolean Node.is(ALogicTree.Operator op)
           
 boolean Literal.is(ALogicTree.Operator op)
           
abstract  boolean ALogicTree.is(ALogicTree.Operator op)
          Current tree is rooted with the logical operator op
static void LogicTreeToolBox.merge(ALogicTree.Operator op, ALogicTree t)
           
 

Constructors in choco.kernel.model.constraints.cnf with parameters of type ALogicTree.Operator
Node(ALogicTree.Operator operator, ALogicTree.Type type, ALogicTree... children)
           
 



Copyright © 2012. All Rights Reserved.