- <init>
- checkInverse
- createAnonVar
Creates an anonymous Var with a unique, randomly generated, variable name.
- createFunctionCall
- createPath
- createTupleExprForNegatedPropertySet
- getConstructVars
Gets the set of variables that are relevant for the constructor. This method
accumulates all subject
- getObjectList
- getSameTermConstraints
- getValueForExpr
Retrieve the associated Value (if any) for the given valueExpr.
- handlePathModifiers
- mapValueExprToVar
Maps the given valueExpr to a Var. If the supplied ValueExpr is a Var, the
object itself will be ret