Inheritance diagram for specializations.dlv.dlv_answer_sets.DLVAnswerSets:
Public Member Functions | |
| def | __init__ (self, out, err=None) |
 Public Member Functions inherited from languages.asp.answer_sets.AnswerSets | |
| def | get_answer_sets (self) |
| def | get_optimal_answer_sets (self) |
| def | get_answer_sets_string (self) |
| def | add_answer_set (self) |
| def | store_atom (self, result) |
| def | store_cost (self, level, weight) |
| 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 an AnswerSet for DLV.
Constructor & Destructor Documentation
◆ __init__()
| def specializations.dlv.dlv_answer_sets.DLVAnswerSets.__init__ | ( | self, | |
| out, | |||
err = None |
|||
| ) |
Reimplemented from languages.asp.answer_sets.AnswerSets.
The documentation for this class was generated from the following file:
- embasp-theoretic/specializations/dlv/dlv_answer_sets.py
