Javadoc updated
Annotations @Override updated
for changed to for-each
*Unnecesary "this" removed
*Brackets added
Annotations @override updated
For changed to for-each
*Unnecessary "this" removed
*Brackets added
*@override annotations updated
Unnecessary "this" removed
Clean up
Monitors created for cases 13-16: 1 QVar, Existential/Universal, with
FVar, no FixedQVar optimisation (i.e., the QVar can be anywhere or not
be present)
Utility methods added used when the QVar can be anywhere or not be
present
Javadoc updated
QEA created for cases 13-16: 1 QVar, Existential/Universal, with FVar,
no FixedQVar optimisation (i.e., the QVar can be anywhere or not be
present)
*Method updateBinding renamed to updateBindingFixedQVar
*Javadoc updated
*Method updateBinding renamed to updateBindingFixedQVar
*Method updateBinding for the cases 13-16: 1 QVar, Universal/Existential
quant., with FVar, without FixedQVar optimisation (i.e., the quantified
variable can be anywhere or not present)