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

O

obtain() - Method in class at.jku.risc.stout.tgau.util.Pool
Pulls an object out of this Pool or creates a new object if the pool is empty.
obtainFreshHedgeVar() - Method in class at.jku.risc.stout.tgau.data.NodeFactory
Fresh variables are not cached.
obtainFreshTermVar() - Method in class at.jku.risc.stout.tgau.data.NodeFactory
Fresh variables are not cached.
obtainList() - Static method in class at.jku.risc.stout.tgau.algo.AlignmentList
 
obtainList() - Static method in class at.jku.risc.stout.tgau.data.TermAtomList
 
obtainList() - Static method in class at.jku.risc.stout.tgau.util.CoordList
 
OPENING_PARENTHESIS - Static variable in class at.jku.risc.stout.tgau.data.InputParser
The parenthesis '(' is used by default for function applications.
OPENING_PARENTHESIS2 - Static variable in class at.jku.risc.stout.tgau.data.InputParser
The curly (double) bracket '{' is used by default to indicate commutative function applications.
OUTPUT_SEPARATOR - Static variable in class at.jku.risc.stout.tgau.algo.AntiUnifySystem
 
$ A B C D E F G H I L M N O P R S T V 
Skip navigation links