| Modifier and Type | Class and Description |
|---|---|
| public class | AssumeSymbolHandler
Handler for the \\assumeSymbol{target}{property} command. |
| public class | SetUpConversionOptionHandler
Handler for the \\setUpConversionOption{name}{value} command. |
| public class | UnassumeSymbolHandler
Handler for the \\unassumeSymbol{target} command. |
| public class | UnsetUpConversionOptionHandler
Handler for the \\unsetUpConversionOption{name} command. |
| pack-priv abstract class | UpConversionHandlerBase
Base handler for the various assume-based commands. |
| public class | UpConversionPackageDefinitions
This defines the |