|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Comparison | |
| viper.comparison | Provides the classes necessary to compare Descriptors, including a simple command line application useful for generating graphs between a large number of cases. |
| Uses of Comparison in viper.comparison |
| Methods in viper.comparison with parameters of type Comparison | |
static boolean |
Comparison.takeComparisonToThisLevel(Comparison C,
int level,
CanonicalFileDescriptor cfd,
EvaluationParameters.ScopeRules epf)
This takes a new comparison to the specified level. |
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||