EmbASP-Python v7.1.0
Public Member Functions | List of all members
specializations.dlv.dlv_answer_sets.DLVAnswerSets Class Reference
Inheritance diagram for specializations.dlv.dlv_answer_sets.DLVAnswerSets:
languages.asp.answer_sets.AnswerSets base.output.Output parsers.asp.asp_data_collection.ASPDataCollection

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,
  err = None 

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