org.cryptimeleon.math.expressions.exponent

Class BasicNamedExponentVariableExpr

java.lang.Object

org.cryptimeleon.math.expressions.exponent.BasicNamedExponentVariableExpr

All Implemented Interfaces:

ExponentExpr, ExponentVariableExpr, Expression, VariableExpression, UniqueByteRepresentable, Representable

public final class BasicNamedExponentVariableExpr
extends java.lang.Object
implements ExponentVariableExpr, Representable, UniqueByteRepresentable

A ExponentVariableExpr with a specific name.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
BasicNamedExponentVariableExpr(Representation repr)
BasicNamedExponentVariableExpr(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.exponent.ExponentVariableExpr

evaluate, evaluate, evaluate, evaluate, forEachChild, linearize, substitute

Methods inherited from interface org.cryptimeleon.math.expressions.exponent.ExponentExpr

add, add, add, invert, isEqualTo, isEqualTo, isEqualTo, mul, mul, mul, mul, mul, negate, pow, pow, pow, pow, pow, sub, sub, sub, substitute, substitute

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

BasicNamedExponentVariableExpr

public BasicNamedExponentVariableExpr(java.lang.String name)

BasicNamedExponentVariableExpr

public BasicNamedExponentVariableExpr(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