def setUp(self):
node_label_def = [{
'name': 'ap',
'values': PowerSet({'p', 'q', 'r', 'x', 'a', 'b'})}]
G = labeled_graphs.LabeledDiGraph(node_label_def)
self.S_ap = labeled_graphs.States(G)
G.states = self.S_ap
def test_ior(self):
self.S.add(1)
other_S = labeled_graphs.States(labeled_graphs.LabeledDiGraph())
other_S.add(0)
assert len(self.S) == 1
assert set([s for s in self.S]) == {1}
self.S |= other_S
assert len(self.S) == 2
assert set([s for s in self.S]) == {1, 0}
def setUp(self):
self.S = labeled_graphs.States(labeled_graphs.LabeledDiGraph())
def setup_method(self):
self.S = labeled_graphs.States(labeled_graphs.LabeledDiGraph())