BDDTransformerSerializer (AutomataLib 0.11.0 API)

java.lang.Object
- net.automatalib.modelchecker.m3c.transformer.BDDTransformerSerializer<L,AP>

Type Parameters:

L - edge label type

AP - atomic proposition type

All Implemented Interfaces:

TransformerSerializer<BDDTransformer<L,AP>,L,AP>
```
public class BDDTransformerSerializer<L,AP>
extends Object
implements TransformerSerializer<BDDTransformer<L,AP>,L,AP>
```
This class can be used to serialize and deserialize BDDTransformers.

Constructor Summary

Constructors
Constructor Description

BDDTransformerSerializer(BDDManager bddManager)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`BDDTransformer<L,AP>`	`deserialize(List<String> data)`	Deserializes a given transformer from its `List`-based `String` representation.
`List<String>`	`serialize(BDDTransformer<L,AP> transformer)`	Serializes a given transformer to `List`-based `String` representation.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - BDDTransformerSerializer
```
public BDDTransformerSerializer(BDDManager bddManager)
```
- Method Detail
  - serialize
```
public List<String> serialize(BDDTransformer<L,AP> transformer)
```
    Description copied from interface: TransformerSerializer
    
    Serializes a given transformer to List-based String representation.
    
    Specified by:
    
    serialize in interface TransformerSerializer<BDDTransformer<L,AP>,L,AP>
    
    Parameters:
    
    transformer - the property transformer to be serialized.
    
    Returns:
    
    the serialized property transformer.
  - deserialize
```
public BDDTransformer<L,AP> deserialize(List<String> data)
```
    Description copied from interface: TransformerSerializer
    
    Deserializes a given transformer from its List-based String representation.
    
    Specified by:
    
    deserialize in interface TransformerSerializer<BDDTransformer<L,AP>,L,AP>
    
    Parameters:
    
    data - a serialized property transformer.
    
    Returns:
    
    the deserialized property transformer.