Assertion: flop's state | /r/HasProperty | depend on its current input
Facets:
value: on its current state
type: OTHER
Source sentences:
text: When used in a finite-state machine, the output and next state depend not only on its current input, but also on its current state (and hence, previous inputs).