class
TransformingSigmaBuilder extends StdSigmaBuilder
Instance Constructors
-
new
TransformingSigmaBuilder()
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
-
final
def
check2[T <: SType](left: Value[T], right: Value[T], constraints: Seq[TypeConstraint2]): Unit
-
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[StdSigmaBuilder.mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
-
def
mkCollectionConstant[T <: SType](values: Array[StdSigmaBuilder.mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
-
def
mkConcreteCollection[T <: SType](items: Seq[Value[T]], elementType: T): Value[SCollection[T]]
-
def
mkConstant[T <: SType](value: StdSigmaBuilder.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
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
Builder which does automatic upcast of numeric arguments when necessary. The upcast is implemented by inserting additional Upcast nodes. It also performs checking of constrains.