StochasticLang

class StochasticLang[E] extends TruncatedDistributionLang[E]

Self Type: StochasticLang[E]

Linear Supertypes

TruncatedDistributionLang[E], ExprLang[TruncatedDistribution[E]], AnyRef, Any

Type Hierarchy

Ordering

Alphabetic
By Inheritance

Inherited

StochasticLang
TruncatedDistributionLang
ExprLang
AnyRef
Any

Implicitly

by any2stringadd
by StringFormat
by Ensuring
by ArrowAssoc

Hide All
Show All

Visibility

Public
Protected

Instance Constructors

new StochasticLang(baseWeight: Double = 1.0, flipWeight: Double = 0.0, argShiftWeight: Double = 0.0, conversions: TruncatedDistribution[(E) => Option[E]])(implicit arg0: ExprLang[E], arg1: Domain[E], arg2: ExprPatterns[E])

Value Members

final def !=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def ##: Int
Definition Classes
AnyRef → Any
def +(other: String): String
Implicit
This member is added by an implicit conversion from StochasticLang[E] toany2stringadd[StochasticLang[E]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (StochasticLang[E], B)
Implicit
This member is added by an implicit conversion from StochasticLang[E] toArrowAssoc[StochasticLang[E]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean
Definition Classes
AnyRef → Any
def anonVar(typ: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
anonymous variable
anonymous variable
Definition Classes
TruncatedDistributionLang → ExprLang
def appln(func: TruncatedDistribution[E], arg: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
StochasticLang → TruncatedDistributionLang → ExprLang
def applyAll(funcOpt: Option[TruncatedDistribution[E]], args: Vector[TruncatedDistribution[E]]): Option[TruncatedDistribution[E]]
Definition Classes
ExprLang
final def asInstanceOf[T0]: T0
Definition Classes
Any
def clone(): AnyRef
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
def ensuring(cond: (StochasticLang[E]) => Boolean, msg: => Any): StochasticLang[E]
Implicit
This member is added by an implicit conversion from StochasticLang[E] toEnsuring[StochasticLang[E]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (StochasticLang[E]) => Boolean): StochasticLang[E]
Implicit
This member is added by an implicit conversion from StochasticLang[E] toEnsuring[StochasticLang[E]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: => Any): StochasticLang[E]
Implicit
This member is added by an implicit conversion from StochasticLang[E] toEnsuring[StochasticLang[E]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): StochasticLang[E]
Implicit
This member is added by an implicit conversion from StochasticLang[E] toEnsuring[StochasticLang[E]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
def equality(lhs: TruncatedDistribution[E], rhs: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def equals(arg0: AnyRef): Boolean
Definition Classes
AnyRef → Any
def ff: Option[TruncatedDistribution[E]]
false type
false type
Definition Classes
TruncatedDistributionLang → ExprLang
def formatted(fmtstr: String): String
Implicit
This member is added by an implicit conversion from StochasticLang[E] toStringFormat[StochasticLang[E]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
def funcTyp(dom: TruncatedDistribution[E], codom: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
ExprLang
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native() @HotSpotIntrinsicCandidate()
def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native() @HotSpotIntrinsicCandidate()
def i1(typ: TruncatedDistribution[E], value: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
ExprLang
def i2(typ: TruncatedDistribution[E], value: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
ExprLang
def incl1(typ: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def incl2(typ: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
final def isInstanceOf[T0]: Boolean
Definition Classes
Any
val l: ExprLang[E]
Definition Classes
TruncatedDistributionLang
def lambda(variable: TruncatedDistribution[E], value: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def metaVar(typ: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
meta-variable of a given type, i.e., whose value must be inferred (elaborated in lean's terminology).
meta-variable of a given type, i.e., whose value must be inferred (elaborated in lean's terminology).
Definition Classes
TruncatedDistributionLang → ExprLang
final def ne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
def numeral(n: Int): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def or(first: TruncatedDistribution[E], second: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def orCases(first: TruncatedDistribution[E], second: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def pair(x: TruncatedDistribution[E], y: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def pairTyp(first: TruncatedDistribution[E], second: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
non-dependent pair built from abstract methods.
non-dependent pair built from abstract methods.
Definition Classes
ExprLang
def pi(variable: TruncatedDistribution[E], typ: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def proj1(xy: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def proj2(xy: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def qed: Option[TruncatedDistribution[E]]
element of true type
element of true type
Definition Classes
TruncatedDistributionLang → ExprLang
def sigma(variable: TruncatedDistribution[E], typ: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
def toString(): String
Definition Classes
AnyRef → Any
def tt: Option[TruncatedDistribution[E]]
true type
true type
Definition Classes
TruncatedDistributionLang → ExprLang
def typVariable[S](name: S, level: Int): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
def variable[S](name: S, typ: TruncatedDistribution[E]): Option[TruncatedDistribution[E]]
Definition Classes
TruncatedDistributionLang → ExprLang
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()
final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])

Packages

StochasticLang

class StochasticLang[E] extends TruncatedDistributionLang[E]

Instance Constructors

Value Members

Deprecated Value Members

Inherited from TruncatedDistributionLang[E]

Value Members

Inherited from ExprLang[TruncatedDistribution[E]]

Value Members

Inherited from AnyRef

Value Members

Inherited from Any

Value Members

Inherited by implicit conversion any2stringadd fromStochasticLang[E] to any2stringadd[StochasticLang[E]]

Value Members

Inherited by implicit conversion StringFormat fromStochasticLang[E] to StringFormat[StochasticLang[E]]

Value Members

Inherited by implicit conversion Ensuring fromStochasticLang[E] to Ensuring[StochasticLang[E]]

Value Members

Inherited by implicit conversion ArrowAssoc fromStochasticLang[E] to ArrowAssoc[StochasticLang[E]]

Value Members

Ungrouped

Packages

StochasticLang

class StochasticLang[E] extends TruncatedDistributionLang[E]

Instance Constructors

Value Members

Deprecated Value Members

Inherited from TruncatedDistributionLang[E]

Value Members

Inherited from ExprLang[TruncatedDistribution[E]]

Value Members

Inherited from AnyRef

Value Members

Inherited from Any

Value Members

Inherited by implicit conversion any2stringadd fromStochasticLang[E] to any2stringadd[StochasticLang[E]]

Value Members

Inherited by implicit conversion StringFormat fromStochasticLang[E] to StringFormat[StochasticLang[E]]

Value Members

Inherited by implicit conversion Ensuring fromStochasticLang[E] to Ensuring[StochasticLang[E]]

Value Members

Inherited by implicit conversion ArrowAssoc fromStochasticLang[E] to ArrowAssoc[StochasticLang[E]]

Value Members

Ungrouped

StochasticLang