jif.lang
Class MeetIntegPolicy

java.lang.Object
  extended by jif.lang.AbstractPolicy
      extended by jif.lang.MeetIntegPolicy
All Implemented Interfaces:
IntegPolicy, Policy

public final class MeetIntegPolicy
extends AbstractPolicy
implements IntegPolicy

Represents the meet of integrity policies


Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 IntegPolicy join(IntegPolicy p)
           
 IntegPolicy meet(IntegPolicy p)
           
 java.util.Set meetComponents()
           
 boolean relabelsTo(Policy pol)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface jif.lang.Policy
relabelsTo
 

Method Detail

join

public IntegPolicy join(IntegPolicy p)
Specified by:
join in interface IntegPolicy

meet

public IntegPolicy meet(IntegPolicy p)
Specified by:
meet in interface IntegPolicy

meetComponents

public java.util.Set meetComponents()

relabelsTo

public boolean relabelsTo(Policy pol)
Specified by:
relabelsTo in interface Policy

equals

public boolean equals(java.lang.Object o)
Specified by:
equals in class AbstractPolicy

hashCode

public final int hashCode()
Specified by:
hashCode in class AbstractPolicy

toString

public final java.lang.String toString()
Overrides:
toString in class java.lang.Object