Package it.unive.lisa.analysis.nonrelational.inference

Interface Summary

Interface	Description
InferredValue<T extends InferredValue<T>>	A NonRelationalElement that can be inferred by InferenceSystems.

Class Summary

Class	Description
BaseInferredValue<T extends BaseInferredValue<T>>	Base implementation for InferredValues.
InferenceSystem<T extends InferredValue<T>>	An inference system that model standard derivation systems (e.g., types systems, small step semantics, big step semantics, ...).
InferredValue.InferredPair<T extends InferredValue<T>>	A pair of instances of InferredValue, representing the result of an evaluation in the form of <inferred value, new execution state>.
InferredValue.InferredPairRepresentation	A PairRepresentation for an InferredValue.InferredPair.