Module net.automatalib.modelchecker.m3c

Package net.automatalib.modelchecker.m3c.solver

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 type

T - property transformer type

L - edge label type

AP - atomic proposition type

public final class SolverData<N,T extends AbstractPropertyTransformer<T,L,AP>,L,AP>
extends Object

A class used to store ProceduralModalProcessGraph-specific data for the SolverHistory.

Method Summary

Modifier and Type	Method	Description
Mapping<N,T>	getInitialPropertyTransformers(TransformerSerializer<T,L,AP> serializer)	Returns a Mapping which maps nodes to their initial property transformer.
Mapping<N,List<FormulaNode<L,AP>>>	getInitialSatisfiedSubformulas()	Returns a Mapping which contains the list of the initial satisfied subformulas for each node of the ProceduralModalProcessGraph whose data is stored in an instance of this class.
NodeIDs<N>	getNodeIDs()	Returns the NodeIDs of the ProceduralModalProcessGraph returned by getPmpg().
ProceduralModalProcessGraph<N,L,?,AP,?>	getPmpg()	Returns the ProceduralModalProcessGraph whose data is stored in an instance of this class.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getPmpg

public ProceduralModalProcessGraph<N,L,?,AP,?> getPmpg()

Returns the ProceduralModalProcessGraph 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 the NodeIDs of the ProceduralModalProcessGraph returned by getPmpg(). The nodeIDs have already been computed and cached.

Returns:

the nodeIDs

getInitialPropertyTransformers

public Mapping<N,T> getInitialPropertyTransformers(TransformerSerializer<T,L,AP> serializer)

Returns a Mapping which maps nodes to their initial property transformer. This method requires a TransformerSerializer as all property transform are stored as Strings in this class. The returned map is not cached and will be re-computed on each call.

Parameters:

serializer - used to deserialize each property transformer from a String.

Returns:

a Mapping which maps nodes to their initial property transformer

getInitialSatisfiedSubformulas

public Mapping<N,List<FormulaNode<L,AP>>> getInitialSatisfiedSubformulas()

Returns a Mapping which contains the list of the initial satisfied subformulas for each node of the ProceduralModalProcessGraph whose data is stored in an instance of this class.

Returns:

a Mapping which contains the list of the initial satisfied subformulas