Inheritance diagram for languages.datalog.minimal_model.MinimalModel:
Public Member Functions | |
| def | __init__ (self, value) |
| def | get_atoms_as_stringlist (self) |
| def | get_atoms_as_objectset (self) |
| def | __str__ (self) |
Detailed Description
A collection of data representing a generic MinimalModel.
Constructor & Destructor Documentation
◆ __init__()
| def languages.datalog.minimal_model.MinimalModel.__init__ | ( | self, | |
| value | |||
| ) |
Member Function Documentation
◆ __str__()
| def languages.datalog.minimal_model.MinimalModel.__str__ | ( | self | ) |
Overload string method.
◆ get_atoms_as_objectset()
| def languages.datalog.minimal_model.MinimalModel.get_atoms_as_objectset | ( | self | ) |
Return atoms stored in __atom_object_collection. The method return a set of Object filled with atoms data.
◆ get_atoms_as_stringlist()
| def languages.datalog.minimal_model.MinimalModel.get_atoms_as_stringlist | ( | self | ) |
Return the current __atom_string_collection data. The method returns a set of String objects, each representing a different atom of the model.
The documentation for this class was generated from the following file:
- embasp-theoretic/languages/datalog/minimal_model.py
