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

Interface Summary

Interface	Description
BaseInferredValue<T extends BaseInferredValue<T>>	Base implementation for InferredValues.
InferredValue<T extends InferredValue<T>>	A NonRelationalElement that can be inferred by InferenceSystems.

Class Summary

Class	Description
BaseInferredValue.EvaluationVisitor<T extends BaseInferredValue<T>>	A ExpressionVisitor for BaseInferredValue instances.
InferenceSystem<T extends InferredValue<T>>	An inference system that model standard derivation systems.
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>.