Uses of Class
net.sf.javabdd.BDDFactory.BDDOp

Uses of BDDFactory.BDDOp in net.sf.javabdd
 

Fields in net.sf.javabdd declared as BDDFactory.BDDOp
static BDDFactory.BDDOp BDDFactory.and
          Logical 'and'.
static BDDFactory.BDDOp BDDFactory.xor
          Logical 'xor'.
static BDDFactory.BDDOp BDDFactory.or
          Logical 'or'.
static BDDFactory.BDDOp BDDFactory.nand
          Logical 'nand'.
static BDDFactory.BDDOp BDDFactory.nor
          Logical 'nor'.
static BDDFactory.BDDOp BDDFactory.imp
          Logical 'implication'.
static BDDFactory.BDDOp BDDFactory.biimp
          Logical 'bi-implication'.
static BDDFactory.BDDOp BDDFactory.diff
          Set difference.
static BDDFactory.BDDOp BDDFactory.less
          Less than.
static BDDFactory.BDDOp BDDFactory.invimp
          Inverse implication.
 

Methods in net.sf.javabdd with parameters of type BDDFactory.BDDOp
 BDD TypedBDDFactory.TypedBDD.apply(BDD that, BDDFactory.BDDOp opr)
           
 BDD TypedBDDFactory.TypedBDD.applyWith(BDD that, BDDFactory.BDDOp opr)
           
 BDD TypedBDDFactory.TypedBDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 BDD TypedBDDFactory.TypedBDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
           
 void TryVarOrder.init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op)
          Initialize for a new trial.
 void FindBestOrder.init(BDD b1, BDD b2, BDD dom, BDDFactory.BDDOp op)
           
 BDDBitVector BDDBitVector.map2(BDDBitVector that, BDDFactory.BDDOp op)
           
abstract  BDD BDD.apply(BDD that, BDDFactory.BDDOp opr)
          Returns the result of applying the binary operator opr to the two BDDs.
abstract  BDD BDD.applyWith(BDD that, BDDFactory.BDDOp opr)
          Makes this BDD be the result of the binary operator opr of two BDDs.
abstract  BDD BDD.applyAll(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs a universal quantification of the variables from the variable set var.
abstract  BDD BDD.applyEx(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs an existential quantification of the variables from the variable set var.
abstract  BDD BDD.applyUni(BDD that, BDDFactory.BDDOp opr, BDD var)
          Applies the binary operator opr to two BDDs and then performs a unique quantification of the variables from the variable set var.
 



Copyright © 2003-2004 John Whaley. All Rights Reserved.