Uses of Interface
dev.civl.abc.transform.IF.Combiner
Packages that use Combiner
Package
Description
Module transform defines various kinds of transformations
of an AST.
-
Uses of Combiner in dev.civl.abc.transform.IF
Methods in dev.civl.abc.transform.IF that return CombinerModifier and TypeMethodDescriptionstatic CombinerTransform.compareCombiner()Gets the compare combiner for combining two CIVL programs into one which compares the two for functional equivalence.