+
Point of view
All features
expanded class PACKRAT_PACK
is_equal (other: PACKRAT_PACK):
BOOLEAN
effective function
require
ensure
-
commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
require
- not is_set
- a_parsed.is_equal(no) = a_actions = Void
ensure