Uses of Class
at.jku.risc.stout.nau.data.atom.SortAtom

Packages that use SortAtom

Package	Description
at.jku.risc.stout.nau.data	This package contains the nominal parser and some container classes like equation systems, freshness context and a container for nominal pairs.
at.jku.risc.stout.nau.data.atom	This package contains the classes which are needed to build up the term tree (E.g.: Atom, Abstraction, FunctionApplication, Suspension, SortAtom, SortData, NodeFactory,...).

Uses of SortAtom in at.jku.risc.stout.nau.data

Fields in at.jku.risc.stout.nau.data with type parameters of type SortAtom

Modifier and Type	Field and Description
Class<? extends SortAtom>	NodeFactory.classSortAtom Class to use for instantiating a sort of atom.

Methods in at.jku.risc.stout.nau.data with parameters of type SortAtom

Modifier and Type	Method and Description
Atom	NodeFactory.newAtom(String name, SortAtom sort) Instantiates an atom of the specified sort.
Atom	NodeFactory.obtainFreshAtom(SortAtom sort)

Uses of SortAtom in at.jku.risc.stout.nau.data.atom

Methods in at.jku.risc.stout.nau.data.atom that return SortAtom

Modifier and Type	Method and Description
SortAtom	Atom.getSort()