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

F

FreshnessCtx - Class in at.jku.risc.stout.nau.data

A freshness context is a set of the form {a#X, b#Y,...} where a,b,... are atoms and X,Y,... are variables, stating that the atom a is fresh in X, b is fresh in Y,....

FreshnessCtx() - Constructor for class at.jku.risc.stout.nau.data.FreshnessCtx

FreshnessCtx(int, int) - Constructor for class at.jku.risc.stout.nau.data.FreshnessCtx

FunctionApplication - Class in at.jku.risc.stout.nau.data.atom

A FunctionApplication is a NominalTerm consisting of a unique FunctionSymbol and an array of arguments.

FunctionApplication(FunctionSymbol) - Constructor for class at.jku.risc.stout.nau.data.atom.FunctionApplication

Instantiates a constant without arguments.

FunctionApplication(FunctionSymbol, List<NominalTerm>) - Constructor for class at.jku.risc.stout.nau.data.atom.FunctionApplication

Instantiates a function application with the given arguments.

FunctionApplication(FunctionSymbol, NominalTerm[]) - Constructor for class at.jku.risc.stout.nau.data.atom.FunctionApplication

Instantiates a function application with the given arguments.

FunctionSymbol - Class in at.jku.risc.stout.nau.data.atom

A FunctionSymbol has a unique name and may be typed by a sort of data.

FunctionSymbol(String) - Constructor for class at.jku.risc.stout.nau.data.atom.FunctionSymbol

Instantiates a function symbol of the specified name.

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