Uses of Package
com.tnsai.invariants.rules
Packages that use com.tnsai.invariants.rules
Package
Description
Rule engine for evaluating conditional transition rules at runtime.
-
Classes in com.tnsai.invariants.rules used by com.tnsai.invariants.rulesClassDescriptionRepresents a conditional transition rule like "DEAD if neighbors invalid input: '<' 2".Runtime engine for evaluating conditional transition rules.Represents a rule violation.