Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## escjava.pa.generic
Class Disjunction

    java.lang.Object
      escjava.pa.generic.Disjunction

Direct Known Subclasses:
  EnumKofN

public class Disjunction
extends java.lang.Object

Field Summary
`long` | `bits`
`long` | `stars`

Constructor Summary
`Disjunction()`
`Disjunction(Disjunction d)`
`Disjunction(long stars, long bits)`

Method Summary
`boolean` | `equals(java.lang.Object o)`
`java.lang.String` | `toString()`

Methods inherited from class java.lang.Object
`clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Field Detail

### stars

    public long stars

### bits

    public long bits

Constructor Detail

### Disjunction

    public Disjunction(long stars,
                       long bits)

### Disjunction

    public Disjunction(Disjunction d)

### Disjunction

    public Disjunction()

Method Detail

### toString

    public java.lang.String toString()

### equals

    public boolean equals(java.lang.Object o)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

The ESC/Java2 Project Homepage