public final class BasicNamedGroupVariableExpr extends java.lang.Object implements GroupVariableExpr, Representable, UniqueByteRepresentable
GroupVariableExpr with a specific name.| Modifier and Type | Field and Description |
|---|---|
protected java.lang.String |
name
The name of this variable expression.
|
| Constructor and Description |
|---|
BasicNamedGroupVariableExpr(Representation repr) |
BasicNamedGroupVariableExpr(java.lang.String name) |
| 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.
|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, waitevaluate, evaluate, flatten, forEachChild, getGroup, linearize, substituteflatten, inv, isEqualTo, isEqualTo, isEqualTo, op, op, op, opPow, opPow, opPow, opPow, opPow, opPow, opPow, opPow, pow, pow, pow, pow, pow, precompute, substitute, substituteaccumulate, containsExprMatchingPredicate, containsVariables, getVariables, treeWalkgetUniqueByteRepresentationpublic BasicNamedGroupVariableExpr(@Nonnull
java.lang.String name)
public BasicNamedGroupVariableExpr(Representation repr)
public java.lang.String getName()
public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic Representation getRepresentation()
RepresentableReprUtilgetRepresentation in interface RepresentableRepresentationpublic ByteAccumulator updateAccumulator(ByteAccumulator accumulator)
UniqueByteRepresentableThe 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.
updateAccumulator in interface UniqueByteRepresentable