EmbASP-Theoretic v7.1.0
Public Member Functions | List of all members
specializations.dlvhex.dlvhex_answer_sets.DLVHEXAnswerSets Class Reference
Inheritance diagram for specializations.dlvhex.dlvhex_answer_sets.DLVHEXAnswerSets:
languages.asp.answer_sets.AnswerSets base.output.Output parsers.asp.asp_data_collection.ASPDataCollection

Public Member Functions

def __init__ (self, output, errors=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)
 

Constructor & Destructor Documentation

◆ __init__()

def specializations.dlvhex.dlvhex_answer_sets.DLVHEXAnswerSets.__init__ (   self,
  output,
  errors = None 
)

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