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

O

obtainFreshHedgeNode() - Static method in class at.jku.risc.stout.uru.data.atom.NodeFactory

obtainFreshHedgeVar() - Static method in class at.jku.risc.stout.uru.data.atom.NodeFactory

obtainFreshTermVar() - Static method in class at.jku.risc.stout.uru.data.atom.NodeFactory

obtainFreshTermVarNode() - Static method in class at.jku.risc.stout.uru.data.atom.NodeFactory

occurs(TermAtom) - Method in class at.jku.risc.stout.uru.data.TermNode

OPENING_PARENTHESIS - Static variable in class at.jku.risc.stout.uru.data.InputParser

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