Auto-Completion Design

Proposed names depending on edit context

In Context Models

Axioms and Theorems

• Sets (all)
• Constants (all)

In Machine Models

Invariants, Theorems and Variants

• Sets (all)
• Constants (all)
• Variables (all)

Guards and Actions

• Sets (all)
• Constants (all)
• Variables (all)
• Parameters (of concrete event)
  • in case the event is extended, Parameters of extended event(s) (through extension)

Event Labels

• Seen events labels (of abstract machine)

Witness Labels

• Disappearing parameters (of abstract event)
• Primed Disappearing Variables (of abstract machine) that are non-deterministically assigned in abstract event

Witness Predicates

• Sets (all)
• Constants (all)
• Variables (all)
• Primed Variables (concrete)
• Parameters (of concrete event)
  • in case the event is extended, Parameters of extended event(s) (through extension)
• Witness Label