languages.asp.answer_sets.AnswerSets Class Reference

Inheritance diagram for languages.asp.answer_sets.AnswerSets:

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.

Constructor & Destructor Documentation

__init__()

def languages.asp.answer_sets.AnswerSets.__init__	(		self,
			out,
			err = None
	)

Reimplemented from base.output.Output.

Reimplemented in specializations.dlvhex.dlvhex_answer_sets.DLVHEXAnswerSets, specializations.dlv2.dlv2_answer_sets.DLV2AnswerSets, specializations.dlv.dlv_answer_sets.DLVAnswerSets, and specializations.clingo.clingo_answer_sets.ClingoAnswerSets.

Member Function Documentation

add_answer_set()

def languages.asp.answer_sets.AnswerSets.add_answer_set

(

self

)

Reimplemented from parsers.asp.asp_data_collection.ASPDataCollection.

get_answer_sets()

def languages.asp.answer_sets.AnswerSets.get_answer_sets

(

self

)

Return a set of AnswerSet.

get_answer_sets_string()

def languages.asp.answer_sets.AnswerSets.get_answer_sets_string

(

self

)

Return a string which contains every AnswerSet.

get_optimal_answer_sets()

def languages.asp.answer_sets.AnswerSets.get_optimal_answer_sets

(

self

)

store_atom()

def languages.asp.answer_sets.AnswerSets.store_atom	(		self,
			result
	)

Reimplemented from parsers.asp.asp_data_collection.ASPDataCollection.

store_cost()

def languages.asp.answer_sets.AnswerSets.store_cost	(		self,
			level,
			weight
	)

Reimplemented from parsers.asp.asp_data_collection.ASPDataCollection.

---

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

• embasp-theoretic/languages/asp/answer_sets.py