EmbASP-Theoretic v7.1.0
|
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) |
Represents IDLV's minimal models.
def specializations.idlv.idlv_minimal_models.IDLVMinimalModels.__init__ | ( | self, | |
out, | |||
err = None |
|||
) |
Reimplemented from languages.datalog.minimal_models.MinimalModels.