Package tools.refinery.language.expressions

Interface AbstractTermInterpreter.Cast<R,T>

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.Cast<R,T>

Method Summary

Modifier and Type	Method	Description
Term<R>	createCast(Term<T> body)
default Term<R>	createCastUnchecked(AnyTerm body)

Method Details

createCast

Term<R> createCast(Term<T> body)

createCastUnchecked

default Term<R> createCastUnchecked(AnyTerm body)