org.cryptimeleon.math.expressions.bool

Class BoolEmptyExpr

java.lang.Object

org.cryptimeleon.math.expressions.bool.BoolEmptyExpr

All Implemented Interfaces:

BooleanExpression, Expression

public class BoolEmptyExpr
extends java.lang.Object
implements BooleanExpression

A BooleanExpression representing an empty expression useful for instantiating a new Boolean expression.

This class is useful when first creating a new Boolean expression, i.e. as en empty scaffolding. It will "disappear" once combined (via AND or OR) with other Boolean expressions.

Cannot be evaluated.

Field Summary

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

FALSE, TRUE

Constructor Summary

Constructors

Constructor and Description
BoolEmptyExpr()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

evaluateLazy, substitute, substitute, valueOf

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

accumulate, containsExprMatchingPredicate, containsVariables, getVariables, treeWalk

Constructor Detail

BoolEmptyExpr

public BoolEmptyExpr()

Method Detail

substitute

public 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

evaluate

public 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

public 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

evaluateLazy

public 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

forEachChild

public 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

or

public BooleanExpression or(BooleanExpression rhs)

Description copied from interface: BooleanExpression

Applies a Boolean OR to this and the given Boolean expression.

Specified by:

or in interface BooleanExpression

Returns:

a new Boolean expression representing the Boolean OR of this and the given Boolean expression

and

public BooleanExpression and(BooleanExpression rhs)

Description copied from interface: BooleanExpression

Applies a Boolean AND to this and the given Boolean expression.

Specified by:

and in interface BooleanExpression

Returns:

a new Boolean expression representing the Boolean AND of this and the given Boolean expression

not

public BooleanExpression not()

Description copied from interface: BooleanExpression

Applies a Boolean NOT to this Boolean expression.

Specified by:

not in interface BooleanExpression

Returns:

a new Boolean expression representing the Boolean NOT of this Boolean expression.