org.cryptimeleon.math.expressions

Interface Substitution

All Known Implementing Classes:

ValueBundle

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 and Description
Expression	getSubstitution(VariableExpression expr) Indicates what the given expr shall be replaced with.
static Substitution	join(Substitution... subs) Returns a substitution that falls back to the given substitutions if this substitution doesn't have a value.
default Substitution	join(Substitution other) Returns a substitution that falls back to the given substitution if this substitution doesn't have a value.
static Substitution	joinAndIgnoreNullpointers(Substitution... subs) Returns a substitution that falls back to the given substitutions if this substitution doesn't have a value and additionally ignores any NullPointerExceptions that occur.
static Substitution	joinDisjoint(Substitution... subs) Returns a new substitution that is constructed by executing a disjoint join on this substitution and the given ones.
default Substitution	joinDisjoint(Substitution other) Returns a substitution that gets its entries from this substitution or the given one.

Method Detail

getSubstitution

Expression getSubstitution(VariableExpression expr)

Indicates what the given expr shall be replaced with.

Parameters:

expr - the candidate expression to replace

Returns:

the new expression to replace expr with, or null to indicate no substitution shall be applied

joinDisjoint

default Substitution joinDisjoint(Substitution other)

Returns a substitution that gets its entries from this substitution or the given one. The resulting substitution will fail with IllegalArgumentException if both this substitution and the given one return non-null on the same input, i.e. they are not disjoint.

Parameters:

other - the substitution to execute the disjoint join with

join

default Substitution join(Substitution other)

Returns a substitution that falls back to the given substitution if this substitution doesn't have a value.

Parameters:

other - the substitution to fall back to

join

static Substitution join(Substitution... subs)

Returns a substitution that falls back to the given substitutions if this substitution doesn't have a value. The fallback substitutions are considered in the given order.

Parameters:

subs - the substitutions to fall back to

joinAndIgnoreNullpointers

static Substitution joinAndIgnoreNullpointers(Substitution... subs)

Returns a substitution that falls back to the given substitutions if this substitution doesn't have a value and additionally ignores any NullPointerExceptions that occur. The fallback substitutions are considered in the given order.

Parameters:

subs - the substitutions to fall back to

joinDisjoint

static Substitution joinDisjoint(Substitution... subs)

Returns a new substitution that is constructed by executing a disjoint join on this substitution and the given ones. Disjoint means that the resulting substitution throws a IllegalArgumentException if more than one of the base substitutions has a value for a given expression.

Parameters:

subs - the substitutions to join with

See Also:

joinDisjoint(Substitution)