org.cryptimeleon.math.expressions.bool

Interface BoolVariableExpr

All Superinterfaces:

BooleanExpression, Expression, VariableExpression

All Known Implementing Classes:

BasicNamedBoolVariableExpr

public interface BoolVariableExpr
extends VariableExpression, BooleanExpression

A BooleanExpression representing a variable, a Boolean whose actual Boolean value is not currently known.

Field Summary

Fields inherited from interface org.cryptimeleon.math.expressions.bool.BooleanExpression

FALSE, TRUE

Method Summary

Modifier and Type	Method and Description
default java.lang.Boolean	evaluate() Evaluates the expression.
default java.lang.Boolean	evaluate(Substitution substitutions) Evaluates the expression after substituting contained variables.
default LazyBoolEvaluationResult	evaluateLazy(Substitution substitutions) Evaluates the result of this expression (with the given substitutions) concurrently in the background.
default void	forEachChild(java.util.function.Consumer<Expression> action) Calls action on every (direct) child of this expression.
default BooleanExpression	substitute(Substitution substitutions) Substitutes variables using the given function.

Methods inherited from interface org.cryptimeleon.math.expressions.bool.BooleanExpression

and, evaluateLazy, not, or, substitute, substitute, valueOf

Methods inherited from interface org.cryptimeleon.math.expressions.Expression

accumulate, containsExprMatchingPredicate, containsVariables, getVariables, treeWalk

Method Detail

evaluate

default java.lang.Boolean evaluate()

Description copied from interface: Expression

Evaluates the expression.

Specified by:

evaluate in interface BooleanExpression

Specified by:

evaluate in interface Expression

Returns:

the result of evaluation

evaluate

default java.lang.Boolean evaluate(Substitution substitutions)

Description copied from interface: Expression

Evaluates the expression after substituting contained variables.

Specified by:

evaluate in interface BooleanExpression

Specified by:

evaluate in interface Expression

Parameters:

substitutions - a function mapping variables to expressions that can be evaluated

Returns:

the result of evaluation

forEachChild

default void forEachChild(java.util.function.Consumer<Expression> action)

Description copied from interface: Expression

Calls action on every (direct) child of this expression. For example, for a GroupOpExpr, this would call action on the left- and right-hand-side and then return.

Specified by:

forEachChild in interface Expression

substitute

default BooleanExpression substitute(Substitution substitutions)

Description copied from interface: Expression

Substitutes variables using the given function.

Specified by:

substitute in interface BooleanExpression

Specified by:

substitute in interface Expression

Parameters:

substitutions - a function mapping variable expressions to their replacement expressions

Returns:

the expression after substitution

evaluateLazy

default LazyBoolEvaluationResult evaluateLazy(Substitution substitutions)

Description copied from interface: BooleanExpression

Evaluates the result of this expression (with the given substitutions) concurrently in the background.
The result can be retrieved by calling getResult() on the return value.

Specified by:

evaluateLazy in interface BooleanExpression