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

I

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

Tiny term parser with the following rules: [A-Za-z1-9_.] are allowed for variable names and function names.

InputParser(MatchProblem, NodeFactory) - Constructor for class at.jku.risc.stout.urmc.data.InputParser

INSTANCE - Static variable in class at.jku.risc.stout.urmc.data.atom.Hole

isEmpty() - Method in class at.jku.risc.stout.urmc.algo.MatchProblem

isEmpty() - Method in class at.jku.risc.stout.urmc.algo.MatchSystemCollection

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

isNameChar(int) - Method in class at.jku.risc.stout.urmc.data.InputParser

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

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

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