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

Class SortData

java.lang.Object

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

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

public class SortData
extends Sort

A sort of data.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
SortData(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

SortData

public SortData(String name)