Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added first time 


Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added method for addOutcome with another format of outcome

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added a TODO

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added support for reverse model to be translated and stored

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Support for reverse model

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Included initialization of model to set all change variables false

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Initialized model with change variables to false

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added support for PropertiesManager

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added 

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added test for cyclic preference reasoner


Signed-off-by: gsanthan <gsanthan@iastate.edu>
A new flag added to parse counter example from trace: whether the first
state in the trace alone is to be parsed or the last one.

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Changed invocation to model checker to include preference meta data
directly from the working preference model (to support reverse models).

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added method to generate /\_i (h_i = false) formula for use in cyclic
reasoning.

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added methods to support cyclic preference reasoning

Signed-off-by: gsanthan <gsanthan@iastate.edu>
New preference reasoner for implementing the cyclic reasoning methods.

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added

Signed-off-by: gsanthan <gsanthan@iastate.edu>
Added method for nextPreferredWithCycles without parameters

Signed-off-by: gsanthan <gsanthan@iastate.edu>