Inheritance diagram for languages.datalog.minimal_models.MinimalModels:
Public Member Functions | |
| def | __init__ (self, out, err=None) |
| 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
A collection of Minimal Models.
Constructor & Destructor Documentation
◆ __init__()
| def languages.datalog.minimal_models.MinimalModels.__init__ | ( | self, | |
| out, | |||
err = None |
|||
| ) |
Reimplemented from base.output.Output.
Reimplemented in specializations.idlv.idlv_minimal_models.IDLVMinimalModels.
Member Function Documentation
◆ add_minimal_model()
| def languages.datalog.minimal_models.MinimalModels.add_minimal_model | ( | self, | |
| MinimalModel | minimal_model | ||
| ) |
Reimplemented from parsers.datalog.datalog_data_collection.DatalogDataCollection.
◆ get_minimal_models()
| def languages.datalog.minimal_models.MinimalModels.get_minimal_models | ( | self | ) |
Return a set of MinimalModel objects.
◆ get_minimalmodels_as_string()
| def languages.datalog.minimal_models.MinimalModels.get_minimalmodels_as_string | ( | self | ) |
Return a string containing all models.
The documentation for this class was generated from the following file:
- embasp-theoretic/languages/datalog/minimal_models.py
