Class SolverData<N,T extends AbstractPropertyTransformer<T,L,AP>,L,AP>
- java.lang.Object
-
- net.automatalib.modelchecker.m3c.solver.SolverData<N,T,L,AP>
-
- Type Parameters:
N
- node typeT
- property transformer typeL
- edge label typeAP
- atomic proposition type
public final class SolverData<N,T extends AbstractPropertyTransformer<T,L,AP>,L,AP> extends Object
A class used to storeProceduralModalProcessGraph
-specific data for theSolverHistory
.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Mapping<N,T>
getInitialPropertyTransformers(TransformerSerializer<T,L,AP> serializer)
Returns aMapping
which maps nodes to their initial property transformer.Mapping<N,List<FormulaNode<L,AP>>>
getInitialSatisfiedSubformulas()
Returns aMapping
which contains the list of the initial satisfied subformulas for each node of theProceduralModalProcessGraph
whose data is stored in an instance of this class.NodeIDs<N>
getNodeIDs()
ProceduralModalProcessGraph<N,L,?,AP,?>
getPmpg()
Returns theProceduralModalProcessGraph
whose data is stored in an instance of this class.
-
-
-
Method Detail
-
getPmpg
public ProceduralModalProcessGraph<N,L,?,AP,?> getPmpg()
Returns theProceduralModalProcessGraph
whose data is stored in an instance of this class.- Returns:
- the
ProceduralModalProcessGraph
whose data is stored in an instance of this class
-
getNodeIDs
public NodeIDs<N> getNodeIDs()
Returns theNodeIDs
of theProceduralModalProcessGraph
returned bygetPmpg()
. The nodeIDs have already been computed and cached.- Returns:
- the nodeIDs
-
getInitialPropertyTransformers
public Mapping<N,T> getInitialPropertyTransformers(TransformerSerializer<T,L,AP> serializer)
Returns aMapping
which maps nodes to their initial property transformer. This method requires aTransformerSerializer
as all property transform are stored asString
s in this class. The returned map is not cached and will be re-computed on each call.
-
getInitialSatisfiedSubformulas
public Mapping<N,List<FormulaNode<L,AP>>> getInitialSatisfiedSubformulas()
Returns aMapping
which contains the list of the initial satisfied subformulas for each node of theProceduralModalProcessGraph
whose data is stored in an instance of this class.- Returns:
- a
Mapping
which contains the list of the initial satisfied subformulas
-
-