org.cryptimeleon.math.expressions.bool

Class GroupEqualityExpr

java.lang.Object

org.cryptimeleon.math.expressions.bool.GroupEqualityExpr

All Implemented Interfaces:

BooleanExpression, Expression

public class GroupEqualityExpr
extends java.lang.Object
implements BooleanExpression

A BooleanExpression representing the Boolean equality "=" of two GroupElementExpression instances.

Field Summary

Fields

Modifier and Type	Field and Description
protected GroupElementExpression	lhs The group element expression on the left hand side of this Boolean equality.
protected GroupElementExpression	rhs The group element expression on the right hand side of this Boolean equality.

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

FALSE, TRUE

Constructor Summary

Constructors

Constructor and Description
GroupEqualityExpr(GroupElementExpression lhs, GroupElementExpression rhs)

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	evaluate(Substitution substitutions) Evaluates the expression after substituting contained variables.
LazyBoolEvaluationResult	evaluateLazy(Substitution substitution) 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.
Group	getGroup()
GroupElementExpression	getLhs() Retrieves the group element expression on the left hand side of this Boolean equality.
GroupElementExpression	getRhs() Retrieves the group element expression on the right hand side of this Boolean equality.
GroupEqualityExpr	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

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

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

accumulate, containsExprMatchingPredicate, containsVariables, getVariables, treeWalk

Field Detail

lhs

protected GroupElementExpression lhs

The group element expression on the left hand side of this Boolean equality.

rhs

protected GroupElementExpression rhs

The group element expression on the right hand side of this Boolean equality.

Constructor Detail

GroupEqualityExpr

public GroupEqualityExpr(GroupElementExpression lhs,
                         GroupElementExpression rhs)

Method Detail

getLhs

public GroupElementExpression getLhs()

Retrieves the group element expression on the left hand side of this Boolean equality.

getRhs

public GroupElementExpression getRhs()

Retrieves the group element expression on the right hand side of this Boolean equality.

getGroup

public Group getGroup()

substitute

public GroupEqualityExpr 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(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 substitution)

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