EmbASP-Python
EmbASP-Python
languages
asp
answer_set.py
1
from
languages.asp.asp_mapper
import
ASPMapper
2
3
4
class
AnswerSet
(object):
5
"""A collection of data representing a generic Answer Set."""
6
7
def
__init__(self, value, weight_map=None):
8
if
weight_map
is
None
:
9
weight_map = dict()
10
11
self.
__value
= value
# Where data of answer set is stored
12
self.
__weight_map
= weight_map
# Where weights of the answer set are stored
13
self.
__atoms
= set()
# Where answer set's atoms are stored
14
15
def
get_answer_set
(self):
16
"""Return the current __value data.
17
18
The method return a list of answer sets in a String format.
19
"""
20
return
self.
__value
21
22
def
get_atoms
(self):
23
"""Return atoms stored in __atoms.
24
25
The method return a set of Object filled with atoms data.
26
"""
27
if
not
self.
__atoms
:
28
mapper = ASPMapper.get_instance()
29
for
atom
in
self.
__value
:
30
obj = mapper.get_object(atom)
31
if
obj
is
not
None
:
32
self.
__atoms
.add(obj)
33
return
self.
__atoms
34
35
def
get_weights
(self):
36
"""Return the weight_map."""
37
return
self.
__weight_map
38
39
def
__str__
(self):
40
"""Overload string method."""
41
return
str(self.
__value
)
languages.asp.answer_set.AnswerSet.get_atoms
def get_atoms(self)
Definition:
answer_set.py:22
languages.asp.answer_set.AnswerSet.get_answer_set
def get_answer_set(self)
Definition:
answer_set.py:15
languages.asp.answer_set.AnswerSet.__weight_map
__weight_map
Definition:
answer_set.py:12
languages.asp.answer_set.AnswerSet.get_weights
def get_weights(self)
Definition:
answer_set.py:35
languages.asp.answer_set.AnswerSet.__value
__value
Definition:
answer_set.py:11
languages.asp.asp_mapper
Definition:
asp_mapper.py:1
languages.asp.answer_set.AnswerSet.__atoms
__atoms
Definition:
answer_set.py:13
languages.asp.answer_set.AnswerSet.__str__
def __str__(self)
Definition:
answer_set.py:39
languages.asp.answer_set.AnswerSet
Definition:
answer_set.py:4
Generated by
1.8.17