Uses of Interface net.automatalib.graph.ContextFreeModalProcessSystem (AutomataLib 0.11.0 API)

Packages that use ContextFreeModalProcessSystem
Package	Description
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.modelchecker.m3c.solver
net.automatalib.util.automaton.procedural

Uses of ContextFreeModalProcessSystem in net.automatalib.graph

Classes in net.automatalib.graph that implement ContextFreeModalProcessSystem
Modifier and Type Class Description

class DefaultCFMPS<L,AP>

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

Methods in net.automatalib.modelchecker.m3c.solver with parameters of type ContextFreeModalProcessSystem
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.
`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.

Constructors in net.automatalib.modelchecker.m3c.solver with parameters of type ContextFreeModalProcessSystem
Constructor	Description
`ADDSolver(ContextFreeModalProcessSystem<L,AP> cfmps)`
`BDDSolver(ContextFreeModalProcessSystem<L,AP> cfmps)`

Uses of ContextFreeModalProcessSystem in net.automatalib.util.automaton.procedural

Methods in net.automatalib.util.automaton.procedural that return ContextFreeModalProcessSystem
Modifier and Type	Method	Description
`static <I> ContextFreeModalProcessSystem<I,Void>`	SBAs.`toCFMPS(SBA<?,I> sba)`	Returns a `ContextFreeModalProcessSystem`-based view on the language of a given `SBA` such that there exists a `w`-labeled path in the returned CFMPS if and only if `w` is accepted by the given `SBA`.
`static <I> ContextFreeModalProcessSystem<I,Void>`	SPAs.`toCFMPS(SPA<?,I> spa)`	Returns a `ContextFreeModalProcessSystem`-based view on the language of a given `SPA` such that there exists a `w`-labeled path to the final node of the returned CFMPS' main procedure if and only if `w` is accepted by the given `SPA`.