+
Point of view
All features
deferred class LOOP_INVARIANT_VISITOR
Summary
Direct parents
Inherit list: VISITOR
Known children
Inherit list: ASSERTION_LIST_VISITOR
Overview
visit_loop_invariant (visited: LOOP_INVARIANT)
deferred procedure
require
  • visited /= Void