mx.unam.iimas.griffin.bdd

Class BDDModule

java.lang.Object

mx.unam.iimas.griffin.bdd.BDDModule

Direct Known Subclasses:

BDDBooleanNetworkModule

public class BDDModule
extends java.lang.Object

Binary Decision Diagram Wrapper for BeeDeeDee The module allows for encoding and decoding from Boolean Formulas represented as sentence trees

Version:

1.0

Author:

Stalin Muñoz Gutiérrez (stalinmunoz@yahoo.com)

Constructor Summary

Constructors

Constructor and Description
BDDModule() Creates the module

Method Summary

Modifier and Type	Method and Description
com.juliasoft.beedeedee.bdd.BDD	$(com.juliasoft.beedeedee.bdd.BDD bdd) registers the bdd into the module so that it can be released on destruction
com.juliasoft.beedeedee.bdd.BDD	asBDD(Variable variable) Transforms the provided variable returning the corresponding BDD
Formula	asFormula(com.juliasoft.beedeedee.bdd.BDD bdd) Transforms the bdd to a tree formula
java.lang.String	decodeID(java.lang.Integer id) Obtains the name for the given id
void	doneWithFactory() Signals factory destruction
java.util.Map<java.lang.Integer,java.lang.Integer>	encode(java.util.Map<Variable,Variable> rewriteMap) Encodes the rewriting map using the corresponding identifiers
com.juliasoft.beedeedee.bdd.BDD	get(int id) Obtains the BDD with the provided id
com.juliasoft.beedeedee.bdd.BDD	get(java.lang.String name) Obtains the BDD with the provided name
com.juliasoft.beedeedee.bdd.BDD	getBooleanConstant(BooleanConstant constant) Obtains the BDD representing the Boolean constant
int	getID(java.lang.String name) Obtains the ID for the provided BDD name
boolean	hasBeenCreated(Variable variable) Determines if a particular variable has been created
com.juliasoft.beedeedee.bdd.BDD	rewrite(com.juliasoft.beedeedee.bdd.BDD bdd, java.util.Map<java.lang.Integer,java.lang.Integer> rewriteMap) Rewrites the variables of the provided BDD using the rewriting map MODIFYING the original BDD
com.juliasoft.beedeedee.bdd.BDD	rewrite(java.lang.String name, java.util.Map<java.lang.Integer,java.lang.Integer> rewriteMap) Rewrites the BDD with the name given using the rewriting map
com.juliasoft.beedeedee.bdd.BDD	rewriteVars(com.juliasoft.beedeedee.bdd.BDD bdd, java.util.Map<Variable,Variable> rewriteMap) rewrites the provided BDD variables according to the given map
com.juliasoft.beedeedee.bdd.BDD	rewriteVars(java.lang.String name, java.util.Map<Variable,Variable> rewriteMap) Rewrites the BDD with the name given using the rewriting map
int	set(com.juliasoft.beedeedee.bdd.BDD bdd) Adds the provided BDD to the module the name of the bdd is the same as that of its identifier the identifier is automatically generated
void	set(com.juliasoft.beedeedee.bdd.BDD bdd, java.lang.String name) Creates or updates the BDD under the given name
void	set(Formula formula, java.lang.String name) Transforms the formula to BDD representation and give it the provided name
void	set(Variable variable) Sets the provided variable in the module
java.lang.String	toString(com.juliasoft.beedeedee.bdd.BDD bdd) A string representation of the BDD

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BDDModule

public BDDModule()

Creates the module

Method Detail

set

public void set(Formula formula,
                java.lang.String name)

Transforms the formula to BDD representation and give it the provided name

Parameters:

formula - the formula to transform

name - the name

set

public void set(Variable variable)

Sets the provided variable in the module

Parameters:

variable - the variable to set

set

public void set(com.juliasoft.beedeedee.bdd.BDD bdd,
                java.lang.String name)

Creates or updates the BDD under the given name

Parameters:

bdd - the binary decision diagram

name - the given name

hasBeenCreated

public boolean hasBeenCreated(Variable variable)

Determines if a particular variable has been created

Parameters:

variable - the variable to check

Returns:

true if the variable has been created

set

public int set(com.juliasoft.beedeedee.bdd.BDD bdd)

Adds the provided BDD to the module the name of the bdd is the same as that of its identifier the identifier is automatically generated

Parameters:

bdd - the bdd to register

Returns:

the identifier of the BDD

$

public com.juliasoft.beedeedee.bdd.BDD $(com.juliasoft.beedeedee.bdd.BDD bdd)

registers the bdd into the module so that it can be released on destruction

Parameters:

bdd - the bdd to register

Returns:

the same bdd

get

public com.juliasoft.beedeedee.bdd.BDD get(java.lang.String name)

Obtains the BDD with the provided name

Parameters:

name - the name of the BDD

Returns:

the BDD

getID

public int getID(java.lang.String name)

Obtains the ID for the provided BDD name

Parameters:

name - the name

Returns:

the ID of the BDD

get

public com.juliasoft.beedeedee.bdd.BDD get(int id)

Obtains the BDD with the provided id

Parameters:

id - the numerical identifier

Returns:

the corresponding Binary decision diagram

getBooleanConstant

public com.juliasoft.beedeedee.bdd.BDD getBooleanConstant(BooleanConstant constant)

Obtains the BDD representing the Boolean constant

Parameters:

constant - the constant

Returns:

the bdd

rewriteVars

public com.juliasoft.beedeedee.bdd.BDD rewriteVars(com.juliasoft.beedeedee.bdd.BDD bdd,
                                                   java.util.Map<Variable,Variable> rewriteMap)

rewrites the provided BDD variables according to the given map

Parameters:

bdd - the BDD to modify

rewriteMap - the mapping for the rewriting

Returns:

the resulting BDD

rewrite

public com.juliasoft.beedeedee.bdd.BDD rewrite(com.juliasoft.beedeedee.bdd.BDD bdd,
                                               java.util.Map<java.lang.Integer,java.lang.Integer> rewriteMap)

Rewrites the variables of the provided BDD using the rewriting map MODIFYING the original BDD

Parameters:

bdd - the provided BDD

rewriteMap - the map

Returns:

the new BDD

encode

public java.util.Map<java.lang.Integer,java.lang.Integer> encode(java.util.Map<Variable,Variable> rewriteMap)

Encodes the rewriting map using the corresponding identifiers

Parameters:

rewriteMap - the rewriting map to transform

Returns:

a map using the codes for

rewriteVars

public com.juliasoft.beedeedee.bdd.BDD rewriteVars(java.lang.String name,
                                                   java.util.Map<Variable,Variable> rewriteMap)

Rewrites the BDD with the name given using the rewriting map

Parameters:

name - the name of the bdd

rewriteMap - the map

Returns:

the resulting BDD

rewrite

public com.juliasoft.beedeedee.bdd.BDD rewrite(java.lang.String name,
                                               java.util.Map<java.lang.Integer,java.lang.Integer> rewriteMap)

Rewrites the BDD with the name given using the rewriting map

Parameters:

name - the name of the BDD

rewriteMap - the rewriting map

Returns:

the new BDD

decodeID

public java.lang.String decodeID(java.lang.Integer id)

Obtains the name for the given id

Parameters:

id - the identifier

Returns:

the name

asFormula

public Formula asFormula(com.juliasoft.beedeedee.bdd.BDD bdd)

Transforms the bdd to a tree formula

Parameters:

bdd - the Binary decision diagram

Returns:

the formula

asBDD

public com.juliasoft.beedeedee.bdd.BDD asBDD(Variable variable)

Transforms the provided variable returning the corresponding BDD

Parameters:

variable - the variable to set

Returns:

the corresponding Binary Decision Diagram

toString

public java.lang.String toString(com.juliasoft.beedeedee.bdd.BDD bdd)

A string representation of the BDD

Parameters:

bdd - the given BDD

Returns:

the String representation of a BDD

doneWithFactory

public void doneWithFactory()

Signals factory destruction