$ 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 single FunctionSymbol symbol, which is represented by a TermNode with an empty null-hedge.

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