EmbASP-Python
|
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) |
A collection of data representing a generic Answer Set.
Definition at line 4 of file answer_set.py.
def languages.asp.answer_set.AnswerSet.__str__ | ( | self | ) |
Overload string method.
Definition at line 39 of file answer_set.py.
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.
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.
def languages.asp.answer_set.AnswerSet.get_weights | ( | self | ) |
Return the weight_map.
Definition at line 35 of file answer_set.py.