Package tools.refinery.language.expressions

Interface AbstractTermInterpreter.Serializer<A extends AbstractValue<A,C>,C>

Enclosing class:

AbstractTermInterpreter

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public static interface AbstractTermInterpreter.Serializer<A extends AbstractValue<A,C>,C>

Method Summary

Modifier and Type	Method	Description
Expr	serialize(A value)
default Expr	serialize(AnyAbstractDomain abstractDomain, Object value)

Method Details

serialize

Expr serialize(A value)

serialize

default Expr serialize(AnyAbstractDomain abstractDomain,
 Object value)