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 |
---|---|
Set<Atom> |
InputParser.parseAtomSet(Reader in) |
<T extends Equation<NominalTerm>> |
InputParser.parseEquation(Reader in1,
Reader in2,
EquationSystem<T> eqSys) |
FreshnessCtx |
InputParser.parseEquationAndCtx(Reader in1,
Reader in2,
Reader inA,
Reader inN,
EquationSystem<AntiUnifyProblem> eqSys) |
FreshnessCtx |
InputParser.parseNabla(Reader in) |
NominalPair |
InputParser.parsePair(Reader nablaIn,
Reader termIn) |
NominalTerm |
InputParser.parseTerm(Reader in,
boolean reset)
Pull characters from the given Reader and parse the input.
|