EmbASP-Python v7.1.0
Public Member Functions | List of all members
specializations.idlv.idlv_minimal_models.IDLVMinimalModels Class Reference
Inheritance diagram for specializations.idlv.idlv_minimal_models.IDLVMinimalModels:
languages.datalog.minimal_models.MinimalModels base.output.Output parsers.datalog.datalog_data_collection.DatalogDataCollection

Public Member Functions

def __init__ (self, out, err=None)
- Public Member Functions inherited from languages.datalog.minimal_models.MinimalModels
def get_minimal_models (self)
def get_minimalmodels_as_string (self)
def add_minimal_model (self, MinimalModel minimal_model)
- Public Member Functions inherited from base.output.Output
def get_errors (self)
def get_output (self)
def set_errors (self, errors)
def set_output (self, output)

Detailed Description

Represents IDLV's minimal models.

Constructor & Destructor Documentation

◆ __init__()

def specializations.idlv.idlv_minimal_models.IDLVMinimalModels.__init__ (   self,
  err = None 

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