class
StdSigmaBuilder extends SigmaBuilder
Instance Constructors
-
new
StdSigmaBuilder()
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
arithOp[T <: SNumericType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
comparisonOp[T <: SType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R
-
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equalityOp[T <: SType, R](left: Value[T], right: Value[T], cons: (Value[T], Value[T]) ⇒ R): R
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
-
def
mkAllOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]
-
def
mkAnyOf(input: Seq[Value[SBoolean.type]]): Value[Nothing]
-
-
-
-
-
-
-
-
-
-
-
-
-
-
def
mkBitShiftRightZeroed[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
-
-
-
-
-
def
mkByIndex[IV <: SType](input: Value[SCollection[IV]], index: Value[SInt.type], default: Option[Value[IV]] = None): Value[IV]
-
-
-
-
-
def
mkCollectionConstant[T <: SType](values: Coll[mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
-
def
mkCollectionConstant[T <: SType](values: Array[mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
-
def
mkConcreteCollection[T <: SType](items: IndexedSeq[Value[T]], elementType: T): Value[SCollection[T]]
-
def
mkConstant[T <: SType](value: mkConstant.T.WrappedType, tpe: T): Constant[T]
-
def
mkConstantPlaceholder[T <: SType](id: Int, tpe: T): Value[SType]
-
-
-
-
-
def
mkDeserializeContext[T <: SType](id: Byte, tpe: T): Value[T]
-
def
mkDeserializeRegister[T <: SType](reg: RegisterId, tpe: T, default: Option[Value[T]] = None): Value[T]
-
-
-
-
-
-
def
mkExtractAmount(input: Value[SBox.type]): Value[SLong.type]
-
-
-
def
mkExtractCreationInfo(input: Value[SBox.type]): Value[STuple]
-
-
-
-
-
-
-
def
mkFuncValue(args: IndexedSeq[(Int, SType)], body: Value[SType]): Value[SFunc]
-
-
-
def
mkGenLambda(tpeParams: Seq[STypeParam], args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[Nothing]
-
def
mkGetVar[T <: SType](varId: Byte, tpe: T): Value[SOption[T]]
-
def
mkIdent(name: String, tpe: SType): Value[SType]
-
def
mkIf[T <: SType](condition: Value[SBoolean.type], trueBranch: Value[T], falseBranch: Value[T]): Value[T]
-
-
-
def
mkLambda(args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]
-
-
-
-
-
-
def
mkMethodCallLike(obj: Value[SType], name: String, args: IndexedSeq[Value[SType]], tpe: SType): Value[SType]
-
-
-
-
-
-
-
-
-
-
def
mkNoneValue[T <: SType](elemType: T): Value[SOption[T]]
-
-
-
def
mkOptionGetOrElse[T <: SType](input: Value[SOption[T]], default: Value[T]): Value[T]
-
-
-
-
def
mkSelect(obj: Value[SType], field: String, resType: Option[SType] = None): Value[SType]
-
def
mkSelectField(input: Value[STuple], fieldIndex: Byte): Value[SType]
-
-
-
-
-
-
-
-
-
-
def
mkTaggedVariable[T <: SType](varId: Byte, tpe: T): TaggedVariable[T]
-
-
-
def
mkUnitConstant: Value[SUnit.type]
-
-
def
mkVal(name: String, givenType: SType, body: Value[SType]): Val
-
def
mkValUse(valId: Int, tpe: SType): Value[SType]
-
-
-
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unliftAny(value: SValue): Nullable[Any]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any