at.jku.risc.stout.urauc.data.atom
Classes
ContextVar
FunctionSymbol
FunctionVar
HedgeVar
Hole
TermAtom
TermVar
Variable