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

escjava.pa.generic
Class Disjunction

java.lang.Object
  extended byescjava.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)

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

The ESC/Java2 Project Homepage