Package it.unive.lisa.symbolic.types

Class Summary

Class	Description
BoolType	An internal implementation of the BooleanType interface that can be used by domains that need a concrete instance of that interface.
IntType	An internal implementation of the NumericType interface that can be used by domains that need a concrete instance for integer values.
StringType	An internal implementation of the StringType interface that can be used by domains that need a concrete instance of that interface.