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]¶