Module net.automatalib.modelchecker.m3c

Package net.automatalib.modelchecker.m3c.transformer

Interface TransformerSerializer<T extends AbstractPropertyTransformer<T,L,AP>,L,AP>

Type Parameters:

T - the concrete transformer class

L - the label class

AP - the atomic proposition class

All Known Implementing Classes:

ADDTransformerSerializer, BDDTransformerSerializer

public interface TransformerSerializer<T extends AbstractPropertyTransformer<T,L,AP>,L,AP>

Utility interface for serializing AbstractPropertyTransformer implementations.

Method Summary

Modifier and Type	Method	Description
T	deserialize(List<String> data)	Deserializes a given transformer from its List-based String representation.
List<String>	serialize(T transformer)	Serializes a given transformer to List-based String representation.

Method Detail

serialize

List<String> serialize(T transformer)

Serializes a given transformer to List-based String representation.

Parameters:

transformer - the property transformer to be serialized.

Returns:

the serialized property transformer.

deserialize

T deserialize(List<String> data)

Deserializes a given transformer from its List-based String representation.

Parameters:

data - a serialized property transformer.

Returns:

the deserialized property transformer.