def get_all_pi_cells(self):
pa = self.pa
#print(self.pi_cons, pa.pi_eps)
pi_cells = CM.get_cells_from_ival_constraints(self.pi_cons, pa.pi_eps)
#print(pi_cells)
#raw_input('..')
#return [c for c in zip(*pi_cells)]
return pi_cells
def get_abs_state_set_from_ival_constraints(
self,
x_cons,
n,
d,
pvt,
):
# ================== MANIPULATES FORMAT =============== of abs_state
# Assumes abs_state_format as tuple
# takes in a tuple with each element as numpy array and converts them to a
# tuple with ints
# This is done because numpy arrays are not hashable and can not be stored
# in a set
# Best advise to sort it out is to use objects for abstract states instead
# of rudimentary tuples!
cell_list = CM.get_cells_from_ival_constraints(x_cons, self.eps)
abs_state_list = [PlantAbstraction.get_abs_state(cell, n, d, pvt) for cell in cell_list]
return abs_state_list
def get_abs_state_set_from_ival_constraints(
self,
x_cons,
n,
d,
pvt,
):
# ================== MANIPULATES FORMAT =============== of abs_state
# Assumes abs_state_format as tuple
# takes in a tuple with each element as numpy array and converts them to a
# tuple with ints
# This is done because numpy arrays are not hashable and can not be stored
# in a set
# Best advise to sort it out is to use objects for abstract states instead
# of rudimentary tuples!
cell_list = CM.get_cells_from_ival_constraints(x_cons, self.eps)
abs_state_list = [
PlantAbstraction.get_abs_state(cell, n, d, pvt)
for cell in cell_list
]
return abs_state_list
def get_all_i_cells(self):
eps = self.eps
#i_cells = CM.get_i_cells_from_ival_constraints(self.i_cons, eps)
i_cells = CM.get_cells_from_ival_constraints(self.i_cons, eps)
return i_cells
def get_all_i_cells(self):
return CM.get_cells_from_ival_constraints(self.i_cons, self.eps)
def get_all_i_cells(self):
eps = self.eps
#i_cells = CM.get_i_cells_from_ival_constraints(self.i_cons, eps)
i_cells = CM.get_cells_from_ival_constraints(self.i_cons, eps)
return i_cells