galois.runtime.wl
Annotation Type MatchingLeafVersion

@Retention(value=RUNTIME)
@Target(value=TYPE)
public @interface MatchingLeafVersion

Indicates rule version to use when this rule is used as the last rule in a rule sequence.

Required Element Summary

Class<? extends Worklist>

value

Element Detail

value

public abstract Class<? extends Worklist> value