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())