package edu.udel.cis.vsl.sarl.simplify.norm
-
Performs Gaussian Elimination on the numeric entries of a
Context's
substitution map.
Normalizes the range map of a
Context.
Simplifies the context's substitution map.
Simplify non-concrete tuple type expressions to concrete tuples.