private data class OrderContext(val order: Order<*>, val variables: Map<String, SymbolicName>)

Wrapper for an Order and the variables used in it

Parameters

order

the order to generate

variables

the variables used in the order

Constructors

Link copied to clipboard
constructor(order: Order<*>, variables: Map<String, SymbolicName>)

Properties

Link copied to clipboard
val order: Order<*>
Link copied to clipboard
val variables: Map<String, SymbolicName>