org.colomoto.biolqm.tool.fixpoints

Class JBDDModel

java.lang.Object

org.colomoto.biolqm.tool.fixpoints.JBDDModel

public class JBDDModel
extends Object

Constructor Summary

Constructors

Constructor and Description
JBDDModel(LogicalModel lm)

Method Summary

Modifier and Type	Method and Description
List<int[]>	bddPaths(net.sf.javabdd.BDD node)
net.sf.javabdd.BDD[]	biimps()
static FixpointList	getBDD(LogicalModel model)
net.sf.javabdd.BDD[]	globalAsyncFunctions()
net.sf.javabdd.BDD	globalAsynchronousFunction()
net.sf.javabdd.BDD[]	globalFunctions()
net.sf.javabdd.BDD	globalStable()
net.sf.javabdd.BDD	globalSynchronousFunction()
void	print()
net.sf.javabdd.BDD	stable()

Methods inherited from class java.lang.Object

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

Constructor Detail

JBDDModel

public JBDDModel(LogicalModel lm)

Method Detail

getBDD

public static FixpointList getBDD(LogicalModel model)

print

public void print()

biimps

public net.sf.javabdd.BDD[] biimps()

globalFunctions

public net.sf.javabdd.BDD[] globalFunctions()

globalAsyncFunctions

public net.sf.javabdd.BDD[] globalAsyncFunctions()

globalSynchronousFunction

public net.sf.javabdd.BDD globalSynchronousFunction()

globalAsynchronousFunction

public net.sf.javabdd.BDD globalAsynchronousFunction()

globalStable

public net.sf.javabdd.BDD globalStable()

stable

public net.sf.javabdd.BDD stable()

bddPaths

public List<int[]> bddPaths(net.sf.javabdd.BDD node)