Changes between Version 1 and Version 2 of Ticket #10963, comment 392
- Timestamp:
- 01/15/14 16:59:16 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #10963, comment 392
v1 v2 9 9 {{{#!python 10 10 # In Category 11 def with_axiom(axioms): 12 self._axioms.add_axioms(axioms) 11 def with_axiom(axiom): 12 new_axioms = copy(self._axioms).with_axioms([axiom]) 13 return ObjectWithAxioms(new_axioms) 13 14 14 15 # The container class … … 26 27 return self.without_axioms([axiom]) 27 28 28 def add_axioms(self, axioms):29 def with_axioms(self, axioms): 29 30 # After making sure each axiom is valid 30 31 self._axioms = self._axioms.union(axioms) … … 46 47 }}} 47 48 48 Edit - I changed this to use sets.49 Although we might want to change the above behavior to act like an immutable object.