EmbASP-Python
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