semantic_pred.d.ts 2.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940
  1. import { SemanticRole, SemanticType } from './semantic_meaning.js';
  2. import { SemanticNode } from './semantic_node.js';
  3. export declare function isType(node: SemanticNode, attr: SemanticType): boolean;
  4. export declare function isRole(node: SemanticNode, attr: SemanticRole): boolean;
  5. export declare function isAccent(node: SemanticNode): boolean;
  6. export declare function isSimpleFunctionScope(node: SemanticNode): boolean;
  7. export declare function isPrefixFunctionBoundary(node: SemanticNode): boolean;
  8. export declare function isBigOpBoundary(node: SemanticNode): boolean;
  9. export declare function isIntegralDxBoundary(firstNode: SemanticNode, secondNode: SemanticNode): boolean;
  10. export declare function isIntegralDxBoundarySingle(node: SemanticNode): boolean;
  11. export declare function isGeneralFunctionBoundary(node: SemanticNode): boolean;
  12. export declare function isEmbellished(node: SemanticNode): SemanticType | null;
  13. export declare function isOperator(node: SemanticNode): boolean;
  14. export declare function isRelation(node: SemanticNode): boolean;
  15. export declare function isPunctuation(node: SemanticNode): boolean;
  16. export declare function isFence(node: SemanticNode): boolean;
  17. export declare function isElligibleEmbellishedFence(node: SemanticNode): boolean;
  18. export declare function isTableOrMultiline(node: SemanticNode): boolean;
  19. export declare function tableIsMatrixOrVector(node: SemanticNode): boolean;
  20. export declare function isFencedElement(node: SemanticNode): boolean;
  21. export declare function tableIsCases(_table: SemanticNode, prevNodes: SemanticNode[]): boolean;
  22. export declare function tableIsMultiline(table: SemanticNode): boolean;
  23. export declare function lineIsLabelled(line: SemanticNode): boolean;
  24. export declare function isBinomial(table: SemanticNode): boolean;
  25. export declare function isLimitBase(node: SemanticNode): boolean;
  26. export declare function isSimpleFunctionHead(node: SemanticNode): boolean;
  27. export declare function singlePunctAtPosition(nodes: SemanticNode[], puncts: SemanticNode[], position: number): boolean;
  28. export declare function isSimpleFunction(node: SemanticNode): boolean;
  29. export declare function isSetNode(node: SemanticNode): boolean;
  30. export declare function isSingletonSetContent(node: SemanticNode): boolean;
  31. export declare function isUnitCounter(node: SemanticNode): boolean;
  32. export declare function isPureUnit(node: SemanticNode): boolean;
  33. export declare function isUnitProduct(node: SemanticNode): boolean;
  34. export declare function isImplicit(node: SemanticNode): boolean;
  35. export declare function isImplicitOp(node: SemanticNode): boolean;
  36. export declare function isNeutralFence(fence: SemanticNode): boolean;
  37. export declare function compareNeutralFences(fence1: SemanticNode, fence2: SemanticNode): boolean;
  38. export declare function elligibleLeftNeutral(fence: SemanticNode): boolean;
  39. export declare function elligibleRightNeutral(fence: SemanticNode): boolean;
  40. export declare function isMembership(element: SemanticNode): boolean;