Package tools.refinery.logic.substitution

Interface Substitution

All Known Implementing Classes:

MapBasedSubstitution, RenewingSubstitution, StatelessSubstitution

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 interface Substitution

Method Summary

Modifier and Type	Method	Description
static SubstitutionBuilder	builder()
Variable	getSubstitute(Variable variable)
default <T> DataVariable<T>	getTypeSafeSubstitute(DataVariable<T> variable)
default NodeVariable	getTypeSafeSubstitute(NodeVariable variable)

Method Details

getSubstitute

Variable getSubstitute(Variable variable)

getTypeSafeSubstitute

default NodeVariable getTypeSafeSubstitute(NodeVariable variable)

getTypeSafeSubstitute

default <T> DataVariable<T> getTypeSafeSubstitute(DataVariable<T> variable)

builder

static SubstitutionBuilder builder()