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

Packages that use M3CSolver

Package	Description
net.automatalib.modelchecker.m3c.solver

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

Subinterfaces of M3CSolver in net.automatalib.modelchecker.m3c.solver

Modifier and Type	Interface	Description
static interface	M3CSolver.TypedM3CSolver<F>	A specialized M3CSolver which no longer throws a ParseException when solving a formula, but requires a type-safe formula object.

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

Modifier and Type	Class	Description
class	StringADDSolver	An ADD solver for generic, string-based formulas.
class	StringBDDSolver	A BDD solver for generic, string-based formulas.
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

Modifier and Type	Method	Description
static M3CSolver<String>	M3CSolvers.addSolver(ContextFreeModalProcessSystem<String,String> cfmps)	Returns an ADD-backed M3CSolver solver for string-based modal context-free process systems.
static M3CSolver<String>	M3CSolvers.bddSolver(ContextFreeModalProcessSystem<String,String> cfmps)	Returns a BDD-backed M3CSolver solver for string-based ContextFreeModalProcessSystem.
static M3CSolver<String>	M3CSolvers.solver(ContextFreeModalProcessSystem<String,String> cfmps)	Returns a default M3CSolver solver for string-based modal context-free process systems.