`[all packages] [package ] [class hierarchy] [index]`

# public abstract class PremonCat

(source file: PremonCat.java)

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

The pure class interface.

    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?

##

PremonCat

    public PremonCat();

##

val

    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.

##

join

    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.

`[all packages] [package ] [class hierarchy] [index]`

###### PremonCat.html