public class GroupDeclExp extends RedefinableExp
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
exp, name
anyString, epsilon, nullSet, verifierTag
Constructor and Description |
---|
GroupDeclExp(java.lang.String typeLocalName) |
Modifier and Type | Method and Description |
---|---|
RedefinableExp |
getClone()
clone this object.
|
redefine
calcEpsilonReducibility, calcHashCode, equals, isDefined, visit, visit, visit, visit
getExpandedExp, hashCode, hashCode, hashCode, isEpsilonReducible, peelOccurence, readResolve, visit, visit, visit, visit
private static final long serialVersionUID
public RedefinableExp getClone()
getClone
in class RedefinableExp