static class GenericSortCondition.GSCSupersort extends GenericSortCondition
GenericSortCondition.GSCForceInstantiation, GenericSortCondition.GSCIdentity, GenericSortCondition.GSCSupersort
Modifier | Constructor and Description |
---|---|
protected |
GSCSupersort(GenericSort p_gs,
Sort p_s) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Sort p_s,
GenericSortInstantiations insts)
checks if sort
p_s is a supersort of
the getSubsort |
Sort |
getSubsort() |
java.lang.String |
toString()
toString
|
createCondition, createCondition, createCondition, createForceInstantiationCondition, createIdentityCondition, createSupersortCondition, forceInstantiation, getGenericSort, subSortsAllowed
Sort s
protected GSCSupersort(GenericSort p_gs, Sort p_s)
public Sort getSubsort()
public boolean check(Sort p_s, GenericSortInstantiations insts)
p_s
is a supersort of
the getSubsort
check
in class GenericSortCondition
p_s
- the Sort to checkinsts
- a map containing already found instantiationss
satisfies this generic sort
conditionpublic java.lang.String toString()
toString
in class java.lang.Object