def __init__(self, num_vars, rSet=None):
'''
Constructor
'''
if rSet == None:
self.rSet = []
else:
self.rSet = list(Set(rSet))
is_valid_set = True
for x in self.rSet:
if not (x >=0 and x < self.num_vars):
is_valid_set = False
break
if (not is_valid_set):
Error.error("Invalid Reset Set" + str(self.rSet))
def __init__(self, num_vars, flow_vector, name=None):
'''
Constructor
'''
if (num_vars != len(flow_vector)):
Error.error("Mismatch between dimensions of flow_vector and num_vars ")
self.index = Mode.__modeindex__
Mode.__modeindex__ = Mode.__modeindex__ + 1
self.num_vars = num_vars
self.flow_vector = flow_vector
if name is None:
self.name = 'm' + self.index
else:
self.name = name
self.invariant = None
self.from_neighbor_list = []
self.to_neighbor_list = []
self.neighbor_list = []
self.in_transition_list = []
self.out_transition_list = []
self.transition_list = []
def check_dim(self, n):
'''Constraint.check_dim_static(self.num_vars, n)'''
if(self.num_vars != n):
Error.error("Dimension mismatch")
def check_dim_static(n1, n2):
if(n1 != n2):
Error.error("Dimension mismatch")