Package wytp.proof.rules.array

Class Summary

Class	Description
ArrayEqualityCaseAnalysis	Handle (non-)equality between expressions of array type.
ArrayIndexAxiom	Responsible for inferring that a given array index expression (e.g.
ArrayIndexCaseAnalysis
ArrayLengthAxiom	Responsible for inferring that a given array length expression (e.g.