EmbASP-Python
Public Member Functions | List of all members
languages.asp.answer_sets.AnswerSets Class Reference
Inheritance diagram for languages.asp.answer_sets.AnswerSets:
base.output.Output parsers.asp.asp_data_collection.ASPDataCollection specializations.clingo.clingo_answer_sets.ClingoAnswerSets specializations.dlv2.dlv2_answer_sets.DLV2AnswerSets specializations.dlv.dlv_answer_sets.DLVAnswerSets specializations.dlvhex.dlvhex_answer_sets.DLVHEXAnswerSets

Public Member Functions

def __init__ (self, out, err=None)
 
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

A collection of AnswerSet.

Definition at line 8 of file answer_sets.py.

Member Function Documentation

◆ get_answer_sets()

def languages.asp.answer_sets.AnswerSets.get_answer_sets (   self)
Return a set of AnswerSet.

Definition at line 16 of file answer_sets.py.

◆ get_answer_sets_string()

def languages.asp.answer_sets.AnswerSets.get_answer_sets_string (   self)
Return a string which contains every AnswerSet.

Definition at line 52 of file answer_sets.py.


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