A C D E F G H I M N O P R S T U V
P
- parseEqSystem(String, PrintStream) - Method in class at.jku.risc.stout.uru.data.InputParser
-
Parse the given input string and add all equations to the system.
- parseHedgeEquation(Reader, Reader) - Method in class at.jku.risc.stout.uru.data.InputParser
-
A hedge equation has the form:
(s1, s2,...) =^= (t1, t2,...)
- parseTerm(Reader) - Method in class at.jku.risc.stout.uru.data.InputParser
-
- popHedge() - Method in class at.jku.risc.stout.uru.data.atom.NodeFactory
-
- PREFIX_FreshHedgeVar - Static variable in class at.jku.risc.stout.uru.data.atom.NodeFactory
-
- PREFIX_FreshTermVar - Static variable in class at.jku.risc.stout.uru.data.atom.NodeFactory
-
- PREFIX_Function - Static variable in class at.jku.risc.stout.uru.data.atom.NodeFactory
-
- PREFIX_HedgeVar - Static variable in class at.jku.risc.stout.uru.data.atom.NodeFactory
-
- PREFIX_TermVar - Static variable in class at.jku.risc.stout.uru.data.atom.NodeFactory
-
- print(Writer) - Method in class at.jku.risc.stout.uru.data.atom.TermAtom
-
- print(Writer) - Method in class at.jku.risc.stout.uru.data.Hedge
-
- print(Writer, boolean) - Method in class at.jku.risc.stout.uru.data.Hedge
-
- print(Writer) - Method in class at.jku.risc.stout.uru.data.TermNode
-
- print(Writer) - Method in class at.jku.risc.stout.uru.util.Printable
-
- PRINT_EQ_SEPARATOR - Static variable in class at.jku.risc.stout.uru.algo.UnifEquation
-
- PRINT_PARAM_END - Static variable in class at.jku.risc.stout.uru.data.Hedge
-
- PRINT_PARAM_SEPARATOR - Static variable in class at.jku.risc.stout.uru.data.Hedge
-
- PRINT_PARAM_START - Static variable in class at.jku.risc.stout.uru.data.Hedge
-
- Printable - Class in at.jku.risc.stout.uru.util
-
Base class which demands a function to print an object representation into an
arbitrary
Writer.
- Printable() - Constructor for class at.jku.risc.stout.uru.util.Printable
-
- pushHedge() - Method in class at.jku.risc.stout.uru.data.atom.NodeFactory
-
- put(Variable, TermNode) - Method in class at.jku.risc.stout.uru.algo.Substitution
-
Add a new mapping of the form: Variable -> Term.
A C D E F G H I M N O P R S T U V