Packages

object TermState extends Serializable

Linear Supertypes
Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermState
  2. Serializable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def fromJson(js: Value): TermState
  2. def islePairs(ts: TermState, variable: Term): Set[(Elem[_], Elem[_])]
  3. implicit val stateFD: StateDistribution[TermState, FiniteDistribution]

    finite distributions on terms etc

  4. implicit val termStateRW: upickle.default.ReadWriter[TermState]
  5. val zero: TermState