public class JoinWeaken extends JoinProcedure
Modifier and Type | Field and Description |
---|---|
private static String |
DISPLAY_NAME |
private static JoinWeaken |
INSTANCE |
Constructor and Description |
---|
JoinWeaken() |
Modifier and Type | Method and Description |
---|---|
static JoinWeaken |
instance() |
Triple<ImmutableSet<Term>,Term,ImmutableSet<Name>> |
joinValuesInStates(Term v,
SymbolicExecutionState state1,
Term valueInState1,
SymbolicExecutionState state2,
Term valueInState2,
Term distinguishingFormula,
Services services)
Joins two values valueInState1 and valueInState2 of corresponding SE
states state1 and state2 to a new value of a join state.
|
boolean |
requiresDistinguishablePathConditions() |
String |
toString() |
getJoinProcedures, getProcedureByName
private static JoinWeaken INSTANCE
private static final String DISPLAY_NAME
public static JoinWeaken instance()
public Triple<ImmutableSet<Term>,Term,ImmutableSet<Name>> joinValuesInStates(Term v, SymbolicExecutionState state1, Term valueInState1, SymbolicExecutionState state2, Term valueInState2, Term distinguishingFormula, Services services)
JoinProcedure
joinValuesInStates
in class JoinProcedure
v
- The variable for which the values should be joinedstate1
- First SE state.valueInState1
- Value in state1.state2
- Second SE state.valueInState2
- Value in state2.distinguishingFormula
- The user-specified distinguishing formula. May be null (for
automatic generation).services
- The services object.public boolean requiresDistinguishablePathConditions()
requiresDistinguishablePathConditions
in class JoinProcedure