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

F

FunctionSymbol - Class in at.jku.risc.stout.urauc.data.atom
A TermAtom which represents a function symbol.
FunctionSymbol(String) - Constructor for class at.jku.risc.stout.urauc.data.atom.FunctionSymbol
 
FunctionVar - Class in at.jku.risc.stout.urauc.data.atom
A function variable can be substituted by a bounded context, that is an application of a function to a hedge with a hole in it.
FunctionVar(String) - Constructor for class at.jku.risc.stout.urauc.data.atom.FunctionVar
 
$ A C D E F G H I J M N O P R S T V W X Y