Package | Description |
---|---|
at.jku.risc.stout.nau.data |
This package contains the nominal parser and some container classes like
equation systems, freshness context and a container for nominal pairs.
|
Modifier and Type | Method and Description |
---|---|
NominalPair |
NominalPair.deepCopy() |
NominalPair |
InputParser.parsePair(Reader nablaIn,
Reader termIn) |