EmbASP-Java v7.1.0
Public Member Functions | List of all members
it.unical.mat.parsers.datalog.DatalogDataCollection Interface Reference
Inheritance diagram for it.unical.mat.parsers.datalog.DatalogDataCollection:
it.unical.mat.embasp.languages.datalog.MinimalModels it.unical.mat.embasp.specializations.idlv.IDLVMinimalModels

Public Member Functions

void addMinimalModel (MinimalModel minimalModel)
 

Detailed Description

The interface to be implemented by all classes (such as MinimalModels) that store Datalog models.

Member Function Documentation

◆ addMinimalModel()

void it.unical.mat.parsers.datalog.DatalogDataCollection.addMinimalModel ( MinimalModel  minimalModel)

The documentation for this interface was generated from the following file: