public abstract class PremonCat

java.lang.Object
   |
   +----Printable
           |
           +----PremonCat

public abstract class PremonCat
  extends Printable

The syntactic category of categories (either val, central or proc).

Author:

Alan Jeffrey

Version: v1.0 1998/06/10

PremonCat()

central

The category central.

proc

The category proc.

val

The category val.

equals(PremonCat)

Are two categories equal?

join(PremonCat)

Find the join of two categories under the partial order val <= central <= proc.

subcat(PremonCat)

Is one category a subcat of another?

public PremonCat();

public static final PremonCat val;

The category val.

central

public static final PremonCat central;

The category central.

proc

public static final PremonCat proc;

The category proc.

public abstract PremonCat join(PremonCat C);

Find the join of two categories under the partial order val <= central <= proc.

Parameters:

C - the category to compare with.

Returns:

the larger of the two categories.

equals

public abstract boolean equals(PremonCat C);

Are two categories equal?

Parameters:

C - the category to compare with.

Returns:

true if the categories are equal.

subcat

public abstract boolean subcat(PremonCat C);

Is one category a subcat of another?

Parameters:

C - the category to compare with.

Returns:

true if this is a subcat of C.

PremonCat.html