- Refine function solve on DLV2Facade.
- Add option --stats in order to print final statistics in output.
- Overload operator << for both DependencyGraph and LabeledDependencyGraph.
- Templatize class LabeledDependencyGraph with respect to the type of labels.
- Implement an input builder for the creation of the dependency graph.
- Add method onDirective on the input builder's interface.
- Add a factory of directives and a directive base class. (Currently,
the factory creates only basic Directive objects whose properties are:
directive name and directive value. The operator << has been overloaded
for class Directive. Someone will take care of completing the implementation
of this part in the future.)
- Add a controlling strategy for the parser (ParserConstraint) to the input director. (To be fixed)
- See that the parser recognizes range facts, non-ground queries and directives.