Uses of Class
net.automatalib.modelchecker.m3c.formula.DependencyGraph

Packages that use DependencyGraph

Package	Description
net.automatalib.modelchecker.m3c.solver
net.automatalib.modelchecker.m3c.transformer

Uses of DependencyGraph in net.automatalib.modelchecker.m3c.solver

Methods in net.automatalib.modelchecker.m3c.solver with parameters of type DependencyGraph

Modifier and Type	Method	Description
protected <TP extends ModalEdgeProperty> ADDTransformer<L,AP>	ADDSolver.createInitTransformerEdge(DependencyGraph<L,AP> dependencyGraph, L edgeLabel, TP edgeProperty)
protected <TP extends ModalEdgeProperty> BDDTransformer<L,AP>	BDDSolver.createInitTransformerEdge(DependencyGraph<L,AP> dependencyGraph, L edgeLabel, TP edgeProperty)
protected ADDTransformer<L,AP>	ADDSolver.createInitTransformerEndNode(DependencyGraph<L,AP> dependencyGraph)
protected BDDTransformer<L,AP>	BDDSolver.createInitTransformerEndNode(DependencyGraph<L,AP> dependencyGraph)
protected ADDTransformer<L,AP>	ADDSolver.createInitTransformerNode(DependencyGraph<L,AP> dependencyGraph)
protected BDDTransformer<L,AP>	BDDSolver.createInitTransformerNode(DependencyGraph<L,AP> dependencyGraph)
protected void	ADDSolver.initDDManager(DependencyGraph<L,AP> dependencyGraph)
protected void	BDDSolver.initDDManager(DependencyGraph<L,AP> dependencyGraph)

Uses of DependencyGraph in net.automatalib.modelchecker.m3c.transformer

Constructors in net.automatalib.modelchecker.m3c.transformer with parameters of type DependencyGraph

Constructor	Description
ADDTransformer(XDDManager<BooleanVector> xddManager, L edgeLabel, TP edgeProperty, DependencyGraph<L,AP> dependGraph)	Constructor used to create the property transformer for an edge.
ADDTransformer(XDDManager<BooleanVector> xddManager, DependencyGraph<L,AP> dependGraph)	Constructor used to initialize the property transformer of a node.
BDDTransformer(BDDManager bddManager, L edgeLabel, TP edgeProperty, DependencyGraph<L,AP> dependencyGraph)	Constructor used to create the property transformer for an edge.
BDDTransformer(BDDManager bddManager, DependencyGraph<L,AP> dependencyGraph)	Constructor used to initialize the property transformer of a node.