uk.ac.manchester.cs.jfact.kernel

Class ToldSubsumers

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ToldSubsumers

All Implemented Interfaces:

Serializable, KnownSubsumers

public class ToldSubsumers
extends Object
implements KnownSubsumers

class to represent the TS's

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ToldSubsumers(Collection<ClassifiableEntry> b)

Method Summary

Modifier and Type	Method and Description
List<ClassifiableEntry>	possible() begin of the Possible subsumers interval
List<ClassifiableEntry>	sure() begin of the Sure subsumers interval

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.KnownSubsumers

isPossibleSub, possibleEmpty, sureEmpty

Constructor Detail

ToldSubsumers

public ToldSubsumers(@Nullable
                     Collection<ClassifiableEntry> b)

Parameters:

b - b

Method Detail

sure

public List<ClassifiableEntry> sure()

begin of the Sure subsumers interval

Specified by:

sure in interface KnownSubsumers

Returns:

begin of the Sure subsumers interval

possible

public List<ClassifiableEntry> possible()

begin of the Possible subsumers interval

Specified by:

possible in interface KnownSubsumers

Returns:

begin of the Possible subsumers interval