Uses of Interface
net.automatalib.modelchecker.m3c.solver.M3CSolver.TypedM3CSolver

Packages that use M3CSolver.TypedM3CSolver

Package	Description
net.automatalib.modelchecker.m3c.solver

Uses of M3CSolver.TypedM3CSolver in net.automatalib.modelchecker.m3c.solver

Classes in net.automatalib.modelchecker.m3c.solver that implement M3CSolver.TypedM3CSolver

Modifier and Type	Class	Description
class	TypedADDSolver<L,AP>	An ADD solver for strongly-typed formulas.
class	TypedBDDSolver<L,AP>	A BDD solver for strongly-typed formulas.

Methods in net.automatalib.modelchecker.m3c.solver that return M3CSolver.TypedM3CSolver

Modifier and Type	Method	Description
static <L,AP> M3CSolver.TypedM3CSolver<FormulaNode<L,AP>>	M3CSolvers.typedADDSolver(ContextFreeModalProcessSystem<L,AP> cfmps)	Returns an ADD-backed M3CSolver.TypedM3CSolver solver for strongly-typed modal context-free process systems.
static <L,AP> M3CSolver.TypedM3CSolver<FormulaNode<L,AP>>	M3CSolvers.typedBDDSolver(ContextFreeModalProcessSystem<L,AP> cfmps)	Returns a BDD-backed M3CSolver.TypedM3CSolver solver for strongly-typed ContextFreeModalProcessSystem.
static <L,AP> M3CSolver.TypedM3CSolver<FormulaNode<L,AP>>	M3CSolvers.typedSolver(ContextFreeModalProcessSystem<L,AP> cfmps)	Returns a default M3CSolver.TypedM3CSolver solver for strongly-typed modal context-free process systems.