public class JoinWithSignLattice extends JoinWithLatticeAbstraction
Modifier and Type | Field and Description |
---|---|
private static String |
DISPLAY_NAME |
private static JoinWithSignLattice |
INSTANCE |
Constructor and Description |
---|
JoinWithSignLattice() |
Modifier and Type | Method and Description |
---|---|
protected AbstractDomainLattice<?> |
getAbstractDomainForSort(Sort s,
Services services)
Returns the abstract domain lattice for the given sort or null if there
has no lattice been specified for that sort.
|
static JoinWithSignLattice |
instance() |
String |
toString() |
joinValuesInStates, requiresDistinguishablePathConditions
getJoinProcedures, getProcedureByName
private static JoinWithSignLattice INSTANCE
private static final String DISPLAY_NAME
public static JoinWithSignLattice instance()
protected AbstractDomainLattice<?> getAbstractDomainForSort(Sort s, Services services)
JoinWithLatticeAbstraction
getAbstractDomainForSort
in class JoinWithLatticeAbstraction
s
- The sort to return the matching lattice for.services
- The services object.