ContextTracker

class ContextTracker<T>(val start: T, val shift: (context: T, term: Int, stack: Stack, input: InputStream) -> T = { c, _, _, _ -> c }, val reduce: (context: T, term: Int, stack: Stack, input: InputStream) -> T = { c, _, _, _ -> c }, val reuse: (context: T, node: Tree, stack: Stack, input: InputStream) -> T = { c, _, _, _ -> c }, val hash: (context: T) -> Int = { 0 }, val strict: Boolean = true)

Constructors

Link copied to clipboard
constructor(start: T, shift: (context: T, term: Int, stack: Stack, input: InputStream) -> T = { c, _, _, _ -> c }, reduce: (context: T, term: Int, stack: Stack, input: InputStream) -> T = { c, _, _, _ -> c }, reuse: (context: T, node: Tree, stack: Stack, input: InputStream) -> T = { c, _, _, _ -> c }, hash: (context: T) -> Int = { 0 }, strict: Boolean = true)

Properties

Link copied to clipboard
val hash: (context: T) -> Int
Link copied to clipboard
val reduce: (context: T, term: Int, stack: Stack, input: InputStream) -> T
Link copied to clipboard
val reuse: (context: T, node: Tree, stack: Stack, input: InputStream) -> T
Link copied to clipboard
val shift: (context: T, term: Int, stack: Stack, input: InputStream) -> T
Link copied to clipboard
val start: T
Link copied to clipboard