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

O

obtain() - Method in class at.jku.risc.stout.urau.util.Pool

Pulls an object out of this Pool or creates a new object if the pool is empty.

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

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

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

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

obtainList() - Static method in class at.jku.risc.stout.urau.algo.AlignmentList

obtainList() - Static method in class at.jku.risc.stout.urau.data.TermAtomList

obtainList() - Static method in class at.jku.risc.stout.urau.util.CoordList

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

OUTPUT_SEPARATOR - Static variable in class at.jku.risc.stout.urau.algo.AntiUnifySystem

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