Package | Description |
---|---|
org.jactr.tools.analysis.production.endstates.impl |
Class and Description |
---|
BufferStateUtilities.Consistent
means that given the values and the conditions the slots
have, they COULD be equivalent (but still might not be)
means that given the values and the conditions, the two slots can never be equivalent means that the given values and conditions are not sufficient to make any judgement. |