CasesConfiguration.d.ts 864 B

1234567891011121314151617181920
  1. import { Configuration } from '../Configuration.js';
  2. import TexParser from '../TexParser.js';
  3. import { BeginItem, EqnArrayItem } from '../base/BaseItems.js';
  4. import { AmsTags } from '../ams/AmsConfiguration.js';
  5. import { StackItem, CheckType } from '../StackItem.js';
  6. export declare class CasesBeginItem extends BeginItem {
  7. get kind(): string;
  8. checkItem(item: StackItem): CheckType;
  9. }
  10. export declare class CasesTags extends AmsTags {
  11. protected subcounter: number;
  12. start(env: string, taggable: boolean, defaultTags: boolean): void;
  13. autoTag(): void;
  14. formatNumber(n: number, m?: number): string;
  15. }
  16. export declare const CasesMethods: {
  17. NumCases(parser: TexParser, begin: CasesBeginItem): EqnArrayItem;
  18. Entry(parser: TexParser, name: string): import("../Types.js").ParseResult;
  19. };
  20. export declare const CasesConfiguration: Configuration;