PROBCORE-404 Working on typing for Proof objects. Decided to create an AbstractClass instead of Interface.
PROBCORE-404 Added attribute to EventBConstant to mark if it is an abstract constant or not.
PROBCORE-404 Created first prototype for translating EventBModel to Prolog.
PROBCORE-404 Replaced loading mechanism with new mechanism
fixed PROBCORE-432
PROBCORE-404 Fixed double start problem
PROBCORE-404 Trying to make stuff faster.
major refactoring
An IEvalElement now generates an EvaulateFormulasCommand for a single formula and a StateId. Right now these are composed and send together instead of building a single command for multiple formulas. Here we should get rid of the Lists used, since there is exactly one instance of the command per formula.
The EvaluateFormulasCommand now extends EvaluationCommand. It is an abstract class that ensures there is a method that returns a result.
This commit also introduces the interface IEvaluationResult which should be a superclass of EvaluationResult and a future LtlModelCheckingResult. For now it holds a value and the StateId, this may need some work though.
Experimenting experimenting experimenting
add a dummy for now
basic view 1/?
not as basic a view part 2/?
use strings as formulas instead of prolog terms, add box to add formulas
change classes, add edit button
really do ltl checking now
use a classicalb parser
use the status the LtlCheckingCommand returns as result
forgot to commit that file
implemented ltl commands and ltl result, they implement the new interfaces
PROBCORE-404 Working on translation stuff.