EmbASP-Java v7.1.0
|
Public Member Functions | |
void | addMinimalModel (MinimalModel minimalModel) |
The interface to be implemented by all classes (such as MinimalModels) that store Datalog models.
void it.unical.mat.parsers.datalog.DatalogDataCollection.addMinimalModel | ( | MinimalModel | minimalModel | ) |
Implemented in it.unical.mat.embasp.languages.datalog.MinimalModels.