pyk.kast package

Submodules

• pyk.kast.att module
  • AnyType
    • AnyType.from_dict()
    • AnyType.pretty()
    • AnyType.to_dict()
  • AttEntry
    • AttEntry.key
    • AttEntry.value
  • AttKey
    • AttKey.name
    • AttKey.type
  • AttType
    • AttType.from_dict()
    • AttType.pretty()
    • AttType.to_dict()
  • Atts
    • Atts.ALIAS
    • Atts.ALIAS_REC
    • Atts.ANYWHERE
    • Atts.ASSOC
    • Atts.BRACKET
    • Atts.CELL
    • Atts.CELL_COLLECTION
    • Atts.CELL_FRAGMENT
    • Atts.CELL_NAME
    • Atts.CELL_OPT_ABSENT
    • Atts.CIRCULARITY
    • Atts.COLOR
    • Atts.COLORS
    • Atts.COMM
    • Atts.CONCAT
    • Atts.CONSTRUCTOR
    • Atts.DEPENDS
    • Atts.DIGEST
    • Atts.ELEMENT
    • Atts.FORMAT
    • Atts.FRESH_GENERATOR
    • Atts.FUNCTION
    • Atts.FUNCTIONAL
    • Atts.GROUP
    • Atts.HAS_DOMAIN_VALUES
    • Atts.HOOK
    • Atts.IDEM
    • Atts.IMPURE
    • Atts.INDEX
    • Atts.INITIALIZER
    • Atts.INJECTIVE
    • Atts.KLABEL
    • Atts.LABEL
    • Atts.LEFT
    • Atts.LOCATION
    • Atts.MACRO
    • Atts.MACRO_REC
    • Atts.MAINCELL
    • Atts.OVERLOAD
    • Atts.OWISE
    • Atts.PREDICATE
    • Atts.PREFER
    • Atts.PRIORITIES
    • Atts.PRIORITY
    • Atts.PRIVATE
    • Atts.PRODUCTION
    • Atts.PROJECTION
    • Atts.RIGHT
    • Atts.SEQSTRICT
    • Atts.SIMPLIFICATION
    • Atts.SORT
    • Atts.SOURCE
    • Atts.STRICT
    • Atts.SYMBOL
    • Atts.TERMINALS
    • Atts.TOKEN
    • Atts.TOTAL
    • Atts.TRUSTED
    • Atts.UNIQUE_ID
    • Atts.UNIT
    • Atts.UNPARSE_AVOID
    • Atts.USER_LIST
    • Atts.WRAP_ELEMENT
    • Atts.keys()
  • Format
    • Format.parse()
    • Format.tokens
    • Format.unparse()
  • FormatType
    • FormatType.from_dict()
    • FormatType.pretty()
    • FormatType.to_dict()
  • IntType
    • IntType.from_dict()
    • IntType.pretty()
    • IntType.to_dict()
  • KAtt
    • KAtt.atts
    • KAtt.discard()
    • KAtt.drop_source()
    • KAtt.entries()
    • KAtt.from_dict()
    • KAtt.get()
    • KAtt.pretty
    • KAtt.to_dict()
    • KAtt.update()
  • LocationType
    • LocationType.from_dict()
    • LocationType.pretty()
    • LocationType.to_dict()
  • NoneType
    • NoneType.from_dict()
    • NoneType.pretty()
    • NoneType.to_dict()
  • OptionalType
    • OptionalType.from_dict()
    • OptionalType.pretty()
    • OptionalType.to_dict()
  • PathType
    • PathType.from_dict()
    • PathType.pretty()
    • PathType.to_dict()
  • StrType
    • StrType.from_dict()
    • StrType.pretty()
    • StrType.to_dict()
  • WithKAtt
    • WithKAtt.att
    • WithKAtt.let_att()
    • WithKAtt.map_att()
    • WithKAtt.update_atts()
• pyk.kast.inner module
  • KApply
    • KApply.args
    • KApply.arity
    • KApply.is_cell
    • KApply.label
    • KApply.let()
    • KApply.let_terms()
    • KApply.match()
    • KApply.terms
  • KAs
    • KAs.alias
    • KAs.let()
    • KAs.let_terms()
    • KAs.match()
    • KAs.pattern
    • KAs.terms
  • KInner
    • KInner.from_dict()
    • KInner.from_json()
    • KInner.let_terms()
    • KInner.map_inner()
    • KInner.match()
    • KInner.terms
    • KInner.to_dict()
  • KLabel
    • KLabel.apply()
    • KLabel.from_dict()
    • KLabel.let()
    • KLabel.name
    • KLabel.params
    • KLabel.to_dict()
  • KRewrite
    • KRewrite.apply()
    • KRewrite.apply_top()
    • KRewrite.let()
    • KRewrite.let_terms()
    • KRewrite.lhs
    • KRewrite.match()
    • KRewrite.replace()
    • KRewrite.replace_top()
    • KRewrite.rhs
    • KRewrite.terms
  • KSequence
    • KSequence.arity
    • KSequence.items
    • KSequence.let()
    • KSequence.let_terms()
    • KSequence.match()
    • KSequence.terms
  • KSort
    • KSort.from_dict()
    • KSort.let()
    • KSort.name
    • KSort.to_dict()
  • KToken
    • KToken.let()
    • KToken.let_terms()
    • KToken.match()
    • KToken.sort
    • KToken.terms
    • KToken.token
  • KVariable
    • KVariable.let()
    • KVariable.let_sort()
    • KVariable.let_terms()
    • KVariable.match()
    • KVariable.name
    • KVariable.sort
    • KVariable.terms
  • Subst
    • Subst.apply()
    • Subst.compose()
    • Subst.from_dict()
    • Subst.from_pred()
    • Subst.is_identity
    • Subst.minimize()
    • Subst.ml_pred
    • Subst.pred
    • Subst.to_dict()
    • Subst.unapply()
    • Subst.union()
  • bottom_up()
  • bottom_up_with_summary()
  • build_assoc()
  • build_cons()
  • collect()
  • top_down()
  • var_occurrences()
• pyk.kast.kast module
  • KAst
    • KAst.hash
    • KAst.to_dict()
    • KAst.to_json()
    • KAst.version()
  • kast_term()
• pyk.kast.manip module
  • abstract_term_safely()
  • apply_existential_substitutions()
  • bool_to_ml_pred()
  • build_claim()
  • build_rule()
  • cell_label_to_var_name()
  • collapse_dots()
  • count_vars()
  • extract_cells()
  • extract_lhs()
  • extract_rhs()
  • extract_subst()
  • flatten_label()
  • free_vars()
  • if_ktype()
  • indexed_rewrite()
  • inline_cell_maps()
  • is_anon_var()
  • is_term_like()
  • labels_to_dots()
  • minimize_rule()
  • minimize_term()
  • ml_pred_to_bool()
  • no_cell_rewrite_to_dots()
  • on_attributes()
  • propagate_up_constraints()
  • push_down_rewrites()
  • remove_attrs()
  • remove_generated_cells()
  • remove_semantic_casts()
  • remove_source_map()
  • remove_useless_constraints()
  • rename_generated_vars()
  • replace_rewrites_with_implies()
  • set_cell()
  • simplify_bool()
  • sort_ac_collections()
  • sort_assoc_label()
  • split_config_and_constraints()
  • split_config_from()
  • undo_aliases()
  • useless_vars_to_dots()
• pyk.kast.markdown module
  • And
    • And.eval()
    • And.ops
  • Atom
    • Atom.eval()
    • Atom.name
  • CodeBlock
    • CodeBlock.code
    • CodeBlock.info
  • Not
    • Not.eval()
    • Not.op
  • Or
    • Or.eval()
    • Or.ops
  • Selector
    • Selector.eval()
  • SelectorParser
    • SelectorParser.parse()
  • code_blocks()
  • parse_tags()
  • select_code_blocks()
  • selector_lexer()
• pyk.kast.outer module
  • KAssoc
    • KAssoc.LEFT
    • KAssoc.NON_ASSOC
    • KAssoc.RIGHT
  • KBubble
    • KBubble.att
    • KBubble.content
    • KBubble.let()
    • KBubble.let_att()
    • KBubble.sentence_type
    • KBubble.to_dict()
  • KClaim
    • KClaim.att
    • KClaim.body
    • KClaim.dependencies
    • KClaim.ensures
    • KClaim.is_circularity
    • KClaim.is_trusted
    • KClaim.let()
    • KClaim.let_att()
    • KClaim.requires
    • KClaim.to_dict()
  • KContext
    • KContext.att
    • KContext.body
    • KContext.let()
    • KContext.let_att()
    • KContext.requires
    • KContext.to_dict()
  • KDefinition
    • KDefinition.add_cell_map_items()
    • KDefinition.add_ksequence_under_k_productions()
    • KDefinition.add_sort_params()
    • KDefinition.alias_rules
    • KDefinition.all_module_names
    • KDefinition.all_modules
    • KDefinition.all_modules_dict
    • KDefinition.argument_sorts()
    • KDefinition.att
    • KDefinition.cell_collection_productions
    • KDefinition.constructors
    • KDefinition.empty_config()
    • KDefinition.from_dict()
    • KDefinition.functions
    • KDefinition.greatest_common_subsort()
    • KDefinition.init_config()
    • KDefinition.instantiate_cell_vars()
    • KDefinition.least_common_supersort()
    • KDefinition.let()
    • KDefinition.let_att()
    • KDefinition.macro_rules
    • KDefinition.main_module
    • KDefinition.main_module_name
    • KDefinition.module()
    • KDefinition.module_names
    • KDefinition.modules
    • KDefinition.overloads
    • KDefinition.priorities
    • KDefinition.production_for_cell_sort()
    • KDefinition.productions
    • KDefinition.remove_cell_map_items()
    • KDefinition.requires
    • KDefinition.return_sort()
    • KDefinition.rules
    • KDefinition.semantic_rules
    • KDefinition.sentence_by_unique_id
    • KDefinition.sort()
    • KDefinition.sort_strict()
    • KDefinition.sort_vars()
    • KDefinition.subsort_table
    • KDefinition.subsorts()
    • KDefinition.symbols
    • KDefinition.syntax_productions
    • KDefinition.to_dict()
  • KFlatModule
    • KFlatModule.att
    • KFlatModule.cell_collection_productions
    • KFlatModule.claims
    • KFlatModule.constructors
    • KFlatModule.from_dict()
    • KFlatModule.functions
    • KFlatModule.imports
    • KFlatModule.let()
    • KFlatModule.let_att()
    • KFlatModule.map_sentences()
    • KFlatModule.name
    • KFlatModule.productions
    • KFlatModule.rules
    • KFlatModule.sentence_by_unique_id
    • KFlatModule.sentences
    • KFlatModule.syntax_productions
    • KFlatModule.syntax_sorts
    • KFlatModule.to_dict()
  • KFlatModuleList
    • KFlatModuleList.from_dict()
    • KFlatModuleList.let()
    • KFlatModuleList.main_module
    • KFlatModuleList.modules
    • KFlatModuleList.to_dict()
  • KImport
    • KImport.from_dict()
    • KImport.let()
    • KImport.name
    • KImport.public
    • KImport.to_dict()
  • KNonTerminal
    • KNonTerminal.let()
    • KNonTerminal.name
    • KNonTerminal.sort
    • KNonTerminal.to_dict()
  • KOuter
  • KProduction
    • KProduction.argument_sorts
    • KProduction.as_subsort
    • KProduction.att
    • KProduction.default_format
    • KProduction.is_prefix
    • KProduction.is_record
    • KProduction.items
    • KProduction.klabel
    • KProduction.let()
    • KProduction.let_att()
    • KProduction.non_terminals
    • KProduction.params
    • KProduction.sort
    • KProduction.to_dict()
  • KProductionItem
    • KProductionItem.from_dict()
  • KRegexTerminal
    • KRegexTerminal.follow_regex
    • KRegexTerminal.let()
    • KRegexTerminal.precede_regex
    • KRegexTerminal.regex
    • KRegexTerminal.to_dict()
  • KRequire
    • KRequire.from_dict()
    • KRequire.let()
    • KRequire.require
    • KRequire.to_dict()
  • KRule
    • KRule.att
    • KRule.body
    • KRule.ensures
    • KRule.let()
    • KRule.let_att()
    • KRule.priority
    • KRule.requires
    • KRule.to_dict()
  • KRuleLike
    • KRuleLike.body
    • KRuleLike.ensures
    • KRuleLike.let()
    • KRuleLike.requires
  • KSentence
    • KSentence.from_dict()
    • KSentence.label
    • KSentence.source
    • KSentence.unique_id
  • KSortSynonym
    • KSortSynonym.att
    • KSortSynonym.let()
    • KSortSynonym.let_att()
    • KSortSynonym.new_sort
    • KSortSynonym.old_sort
    • KSortSynonym.to_dict()
  • KSyntaxAssociativity
    • KSyntaxAssociativity.assoc
    • KSyntaxAssociativity.att
    • KSyntaxAssociativity.let()
    • KSyntaxAssociativity.let_att()
    • KSyntaxAssociativity.tags
    • KSyntaxAssociativity.to_dict()
  • KSyntaxLexical
    • KSyntaxLexical.att
    • KSyntaxLexical.let()
    • KSyntaxLexical.let_att()
    • KSyntaxLexical.name
    • KSyntaxLexical.regex
    • KSyntaxLexical.to_dict()
  • KSyntaxPriority
    • KSyntaxPriority.att
    • KSyntaxPriority.let()
    • KSyntaxPriority.let_att()
    • KSyntaxPriority.priorities
    • KSyntaxPriority.to_dict()
  • KSyntaxSort
    • KSyntaxSort.att
    • KSyntaxSort.let()
    • KSyntaxSort.let_att()
    • KSyntaxSort.params
    • KSyntaxSort.sort
    • KSyntaxSort.to_dict()
  • KTerminal
    • KTerminal.let()
    • KTerminal.to_dict()
    • KTerminal.value
  • read_kast_definition()
• pyk.kast.outer_lexer module
  • State
    • State.ATTR
    • State.BUBBLE
    • State.CONTEXT
    • State.DEFAULT
    • State.KLABEL
    • State.MODNAME
    • State.SYNTAX
  • Token
    • Token.text
    • Token.type
  • TokenType
    • TokenType.ATTR_CONTENT
    • TokenType.ATTR_KEY
    • TokenType.BUBBLE
    • TokenType.COLON
    • TokenType.COMMA
    • TokenType.DCOLONEQ
    • TokenType.EOF
    • TokenType.EQ
    • TokenType.GT
    • TokenType.ID_LOWER
    • TokenType.ID_UPPER
    • TokenType.KLABEL
    • TokenType.KW_ALIAS
    • TokenType.KW_CLAIM
    • TokenType.KW_CONFIG
    • TokenType.KW_CONTEXT
    • TokenType.KW_ENDMODULE
    • TokenType.KW_IMPORTS
    • TokenType.KW_LEFT
    • TokenType.KW_LEXICAL
    • TokenType.KW_MODULE
    • TokenType.KW_NONASSOC
    • TokenType.KW_PRIORITY
    • TokenType.KW_PRIVATE
    • TokenType.KW_PUBLIC
    • TokenType.KW_REQUIRES
    • TokenType.KW_RIGHT
    • TokenType.KW_RULE
    • TokenType.KW_SYNTAX
    • TokenType.LBRACE
    • TokenType.LBRACK
    • TokenType.LPAREN
    • TokenType.MODNAME
    • TokenType.NAT
    • TokenType.PLUS
    • TokenType.QUESTION
    • TokenType.RBRACE
    • TokenType.RBRACK
    • TokenType.REGEX
    • TokenType.RPAREN
    • TokenType.RULE_LABEL
    • TokenType.STRING
    • TokenType.TILDE
    • TokenType.TIMES
    • TokenType.VBAR
  • outer_lexer()
• pyk.kast.outer_parser module
  • OuterParser
    • OuterParser.definition()
    • OuterParser.importt()
    • OuterParser.module()
    • OuterParser.require()
    • OuterParser.sentence()
    • OuterParser.string_sentence()
    • OuterParser.syntax_sentence()
• pyk.kast.outer_syntax module
  • AST
  • Alias
    • Alias.att
    • Alias.bubble
    • Alias.label
  • Assoc
    • Assoc.LEFT
    • Assoc.NON_ASSOC
    • Assoc.RIGHT
  • Att
    • Att.items
  • Claim
    • Claim.att
    • Claim.bubble
    • Claim.label
  • Config
    • Config.att
    • Config.bubble
    • Config.label
  • Context
    • Context.att
    • Context.bubble
    • Context.label
  • Definition
    • Definition.modules
    • Definition.requires
  • Import
    • Import.module_name
    • Import.public
  • Lexical
    • Lexical.regex
  • Module
    • Module.att
    • Module.imports
    • Module.name
    • Module.sentences
  • NonTerminal
    • NonTerminal.name
    • NonTerminal.sort
  • PriorityBlock
    • PriorityBlock.assoc
    • PriorityBlock.productions
  • Production
    • Production.att
    • Production.items
  • ProductionItem
  • ProductionLike
    • ProductionLike.att
  • Require
    • Require.path
  • Rule
    • Rule.att
    • Rule.bubble
    • Rule.label
  • Sentence
  • Sort
    • Sort.args
    • Sort.name
  • SortDecl
    • SortDecl.args
    • SortDecl.name
    • SortDecl.params
  • StringSentence
    • StringSentence.att
    • StringSentence.bubble
    • StringSentence.label
  • SyntaxAssoc
    • SyntaxAssoc.assoc
    • SyntaxAssoc.klabels
  • SyntaxDecl
    • SyntaxDecl.att
    • SyntaxDecl.decl
  • SyntaxDefn
    • SyntaxDefn.blocks
    • SyntaxDefn.decl
  • SyntaxLexical
    • SyntaxLexical.name
    • SyntaxLexical.regex
  • SyntaxPriority
    • SyntaxPriority.groups
  • SyntaxSentence
  • SyntaxSynonym
    • SyntaxSynonym.att
    • SyntaxSynonym.new
    • SyntaxSynonym.old
  • Terminal
    • Terminal.value
  • UserList
    • UserList.att
    • UserList.non_empty
    • UserList.sep
    • UserList.sort
• pyk.kast.pretty module
  • PrettyPrinter
    • PrettyPrinter.definition
    • PrettyPrinter.print()
    • PrettyPrinter.symbol_table
  • assoc_with_unit()
  • build_symbol_table()
  • indent()
  • paren()
  • unparser_for_production()