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

F

Function - Class in at.jku.risc.stout.hoau.data.atom

A TermAtom which represents a function symbol.

Function(String, String) - Constructor for class at.jku.risc.stout.hoau.data.atom.Function

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