EmbASP-Python
Public Member Functions | List of all members
languages.asp.answer_set.AnswerSet Class Reference
Inheritance diagram for languages.asp.answer_set.AnswerSet:

Public Member Functions

def __init__ (self, value, weight_map=None)
 
def get_answer_set (self)
 
def get_atoms (self)
 
def get_weights (self)
 
def __str__ (self)
 

Detailed Description

A collection of data representing a generic Answer Set.

Definition at line 4 of file answer_set.py.

Member Function Documentation

◆ __str__()

def languages.asp.answer_set.AnswerSet.__str__ (   self)
Overload string method.

Definition at line 39 of file answer_set.py.

◆ get_answer_set()

def languages.asp.answer_set.AnswerSet.get_answer_set (   self)
Return the current __value data.

The method return a list of answer sets in a String format.

Definition at line 15 of file answer_set.py.

◆ get_atoms()

def languages.asp.answer_set.AnswerSet.get_atoms (   self)
Return atoms stored in __atoms.

The method return a set of Object filled with atoms data.

Definition at line 22 of file answer_set.py.

◆ get_weights()

def languages.asp.answer_set.AnswerSet.get_weights (   self)
Return the weight_map.

Definition at line 35 of file answer_set.py.


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