Class BDDTransformerSerializer<L,AP>
- java.lang.Object
-
- net.automatalib.modelchecker.m3c.transformer.BDDTransformerSerializer<L,AP>
-
- Type Parameters:
L
- edge label typeAP
- 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 deserializeBDDTransformer
s.
-
-
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)
List<String>
serialize(BDDTransformer<L,AP> transformer)
-
-
-
Constructor Detail
-
BDDTransformerSerializer
public BDDTransformerSerializer(BDDManager bddManager)
-
-
Method Detail
-
serialize
public List<String> serialize(BDDTransformer<L,AP> transformer)
Description copied from interface:TransformerSerializer
- Specified by:
serialize
in interfaceTransformerSerializer<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
- Specified by:
deserialize
in interfaceTransformerSerializer<BDDTransformer<L,AP>,L,AP>
- Parameters:
data
- a serialized property transformer.- Returns:
- the deserialized property transformer.
-
-