pyk.kore.parser module

class KoreParser(text: str)[source]

Bases: object

alias_decl() → AliasDecl[source]

andd() → And[source]

app() → App[source]

axiom() → Axiom[source]

bottom() → Bottom[source]

ceil() → Ceil[source]

claim() → Claim[source]

definition() → Definition[source]

dv() → DV[source]

elem_var() → EVar[source]

property eof: bool

equals() → Equals[source]

exists() → Exists[source]

floor() → Floor[source]

forall() → Forall[source]

hooked_sort_decl() → SortDecl[source]

hooked_symbol_decl() → SymbolDecl[source]

id() → str[source]

iff() → Iff[source]

implies() → Implies[source]

importt() → Import[source]

inn() → In[source]

left_assoc() → LeftAssoc[source]

ml_pattern() → MLPattern[source]

module() → Module[source]

mu() → Mu[source]

multi_or() → list[Pattern][source]

next() → Next[source]

nott() → Not[source]

nu() → Nu[source]

orr() → Or[source]

pattern() → Pattern[source]

rewrites() → Rewrites[source]

right_assoc() → RightAssoc[source]

sentence() → Sentence[source]

set_var() → SVar[source]

set_var_id() → str[source]

sort() → Sort[source]

sort_app() → SortApp[source]

sort_decl() → SortDecl[source]

sort_var() → SortVar[source]

string() → String[source]

symbol() → Symbol[source]

symbol_decl() → SymbolDecl[source]

symbol_id() → str[source]

top() → Top[source]

var_pattern() → VarPattern[source]