uk.ac.manchester.cs.jfact.kernel

Class ToldSubsumers

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.KnownSubsumers

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

All Implemented Interfaces:

Serializable

public class ToldSubsumers
extends KnownSubsumers

class to represent the TS's

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ToldSubsumers(Collection<ClassifiableEntry> b)

Method Summary

Methods

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

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

isPossibleSub, p_empty, s_empty

Methods inherited from class java.lang.Object

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

Constructor Detail

ToldSubsumers

public ToldSubsumers(Collection<ClassifiableEntry> b)

Parameters:

b - b

Method Detail

s_begin

public List<ClassifiableEntry> s_begin()

begin of the Sure subsumers interval

Specified by:

s_begin in class KnownSubsumers

Returns:

begin of the Sure subsumers interval

p_begin

public List<ClassifiableEntry> p_begin()

begin of the Possible subsumers interval

Specified by:

p_begin in class KnownSubsumers

Returns:

begin of the Possible subsumers interval