Package org.checkerframework.checker.index.inequality

package org.checkerframework.checker.index.inequality

Related Packages

Package	Description
org.checkerframework.checker.index

Classes

Class	Description
LessThanAnnotatedTypeFactory	The type factory for the Less Than Checker.
LessThanChecker	An internal checker that estimates which expression's values are less than other expressions' values.
LessThanTransfer	Implements 3 refinement rules: 1.
LessThanVisitor	The visitor for the Less Than Checker.