Package wytp.types.util

Class Summary

Class	Description
AbstractTypeExtractor<T extends WyalFile.Type>	A generic foundation for "convential" type extractors.
AbstractTypeExtractor.Conjunct
AbstractTypeExtractor.Disjunct
AbstractTypeExtractor.Signed	A signed type is simply a type which is either positive or negatively signed.
AbstractTypeRewriter
StdTypeEnvironment	Provides a very simple typing environment which defaults to using the declared type for a variable (this is the "null" case).
StdTypeInfererence	A simple type inference for expressions found in WyalFiles.
StdTypeRewriter	A simple collection of rewrite rules that attempts to simplify types in relatively obvious ways.