Package org.qedeq.kernel.bo.service.heuristic

Plugin for model checking of formulas.

See:
Description

Class Summary

DynamicHeuristicCheckerExecutor	Check if formulas are valid in our model.
DynamicHeuristicCheckerPlugin	Plugin to check if QEDEQ module formulas are valid within a model.

Package org.qedeq.kernel.bo.service.heuristic Description

Plugin for model checking of formulas. So we get a first impression of our formulas. If there are problems it might also be the model...