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 |
---|---|
Atom |
NodeFactory.newAtom(String name)
Instantiates an untyped atom.
|
Atom |
NodeFactory.newAtom(String name,
SortAtom sort)
Instantiates an atom of the specified sort.
|
Atom |
NodeFactory.newAtom(String name,
String sort)
Instantiates an atom of the specified sort.
|
FunctionSymbol |
NodeFactory.newFunction(String name)
Instantiates an untyped function symbol.
|
FunctionSymbol |
NodeFactory.newFunction(String name,
Sort[] sortArgs,
SortData sortRet)
Instantiates a function symbol of the specified arity.
|
FunctionSymbol |
NodeFactory.newFunction(String name,
Sort[] sortArgs,
String sortRet)
Instantiates a function symbol of the specified arity.
|
<T extends Sort> |
NodeFactory.newSort(Class<T> sortType,
String name)
Returns a sort of atom by name.
|
Variable |
NodeFactory.newVarAtom(String name,
String sort)
Instantiates a variable of the specified sort.
|
Variable |
NodeFactory.newVarData(String name,
String sort)
Instantiates a variable of the specified sort.
|
Variable |
NodeFactory.newVariable(String name)
Instantiates an untyped variable.
|
Variable |
NodeFactory.newVariable(String name,
Sort sort)
Instantiates a variable of the specified sort.
|
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.
|
<T> T |
NodeFactory.uniqueInstance(Class<T> type,
Object... args)
Returns a unique instance of the specified class for some given
constructor arguments.
|