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)