reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
[n] -> { s0[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha;
	 s1[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha + 2 }
[n] -> { : }
[n] -> { }