org.cryptimeleon.math.expressions.bool

Class BasicNamedBoolVariableExpr

java.lang.Object

org.cryptimeleon.math.expressions.bool.BasicNamedBoolVariableExpr

All Implemented Interfaces:

BooleanExpression, BoolVariableExpr, Expression, VariableExpression, UniqueByteRepresentable, Representable

public final class BasicNamedBoolVariableExpr
extends java.lang.Object
implements BoolVariableExpr, Representable, UniqueByteRepresentable

A BoolVariableExpr with a specific name.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	name The name of this variable expression.

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

FALSE, TRUE

Constructor Summary

Constructors

Constructor and Description
BasicNamedBoolVariableExpr(Representation repr)
BasicNamedBoolVariableExpr(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.lang.String	getName()
Representation	getRepresentation() The representation of this object.
int	hashCode()
ByteAccumulator	updateAccumulator(ByteAccumulator accumulator) Updates the ByteAccumulator with the unique byte representation of this object.

Methods inherited from class java.lang.Object

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

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

evaluate, evaluate, evaluateLazy, forEachChild, substitute

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

Methods inherited from interface org.cryptimeleon.math.hash.UniqueByteRepresentable

getUniqueByteRepresentation

Field Detail

name

protected final java.lang.String name

The name of this variable expression.

Constructor Detail

BasicNamedBoolVariableExpr

public BasicNamedBoolVariableExpr(@Nonnull
                                  java.lang.String name)

BasicNamedBoolVariableExpr

public BasicNamedBoolVariableExpr(Representation repr)

Method Detail

getName

public java.lang.String getName()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getRepresentation

public Representation getRepresentation()

Description copied from interface: Representable

The representation of this object. Used for serialization. A convenient way to implement this is using @link ReprUtil

Specified by:

getRepresentation in interface Representable

Returns:

a Representation or null if an equal object can be recreated without any information.

See Also:

Representation

updateAccumulator

public ByteAccumulator updateAccumulator(ByteAccumulator accumulator)

Description copied from interface: UniqueByteRepresentable

Updates the ByteAccumulator with the unique byte representation of this object.

The input to the accumulators update function is an injective (with respect to a given domain) byte encoding of this object.

For many use-cases, the AnnotatedUbrUtil can be used to quickly implement this method.

Specified by:

updateAccumulator in interface UniqueByteRepresentable

Returns:

the same accumulator as was input