Package org.jactr.tools.analysis.production.endstates.impl

Class Summary
AddEndStateComputer deal with add operations..
BufferStateUtilities  
ModifyEndStateComputer computes the end state for a given buffer where the action is a modify and possibly a condition (well, there'd better be a condition).
PMAddEndStateComputer deal with add operations..
RemovalEndStateComputer creates an end state for productions that have an explicit remove, OR a match but no modify.
SimpleBufferEndState  
 

Enum Summary
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.