cherry-lamr/cherry.lamr.norm/State

State

case class State(var symbolCount: Long, var inequasions: InequasionSystem[Term], var symbols: Map[Long, RecordKey], var position: Option[Position], var value: Option[NormValue], var term: Option[Term], var errors: Vector[Error]) extends Raising[Cause]
trait Serializable
trait Product
trait Equals
trait Raising[Cause]
class Object
trait Matchable
class Any

Value members

Concrete methods

def error(e: => Cause): Any

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product