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 Details

    • 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.