Package tools.refinery.store.reasoning.translator.typehierarchy

Class InferredType

java.lang.Object

tools.refinery.store.reasoning.translator.typehierarchy.InferredType

public final class InferredType
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final InferredType	UNTYPED

Constructor Summary

Constructors

Constructor	Description
InferredType(Set<PartialRelation> mustTypes, Set<PartialRelation> mayConcreteTypes, PartialRelation candidateType)

Method Summary

Modifier and Type	Method	Description
PartialRelation	candidateType()
boolean	equals(Object o)
int	hashCode()
boolean	isConsistent()
boolean	isMayConcrete(PartialRelation partialRelation)
boolean	isMust(PartialRelation partialRelation)
Set<PartialRelation>	mayConcreteTypes()
Set<PartialRelation>	mustTypes()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

UNTYPED

public static final InferredType UNTYPED

Constructor Details

InferredType

public InferredType(Set<PartialRelation> mustTypes,
 Set<PartialRelation> mayConcreteTypes,
 PartialRelation candidateType)

Method Details

isConsistent

public boolean isConsistent()

isMust

public boolean isMust(PartialRelation partialRelation)

isMayConcrete

public boolean isMayConcrete(PartialRelation partialRelation)

mustTypes

public Set<PartialRelation> mustTypes()

mayConcreteTypes

public Set<PartialRelation> mayConcreteTypes()

candidateType

public PartialRelation candidateType()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object