$ A B C D E F G H I J L M N O P R S T V

I

InputParser - Class in at.jku.risc.stout.hoau.data

Tiny term parser with the following rules: (The described rules use the default configuration.

InputParser() - Constructor for class at.jku.risc.stout.hoau.data.InputParser

Like InputParser.InputParser(NodeFactory, boolean) with a new NodeFactory instance and forceType set to false.

InputParser(NodeFactory, boolean) - Constructor for class at.jku.risc.stout.hoau.data.InputParser

Constructor with the used NodeFactory.

isBasicType() - Method in class at.jku.risc.stout.hoau.data.atom.Function

isBasicType() - Method in class at.jku.risc.stout.hoau.data.atom.Lambda

isBasicType() - Method in class at.jku.risc.stout.hoau.data.atom.TermAtom

isBasicType() - Method in class at.jku.risc.stout.hoau.data.atom.Variable

isEmpty() - Method in class at.jku.risc.stout.hoau.data.EquationSystem

Tests whether the system of equations is empty.

isEmpty() - Method in class at.jku.risc.stout.hoau.data.Hedge

isNullAtom() - Method in class at.jku.risc.stout.hoau.data.TermNode

Tests whether the atom of this term node is the null atom.

iterator() - Method in class at.jku.risc.stout.hoau.data.EquationSystem

$ A B C D E F G H I J L M N O P R S T V