at.jku.risc.stout.nau.data.atom

Class SortAtom

java.lang.Object

at.jku.risc.stout.nau.data.atom.Sort

at.jku.risc.stout.nau.data.atom.SortAtom

public class SortAtom
extends Sort

A sort of atom.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
SortAtom(String name)

Method Summary

Methods inherited from class at.jku.risc.stout.nau.data.atom.Sort

toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SortAtom

public SortAtom(String name)