class AvlTreeCoster extends IRContext.Coster[IRContext.AvlTree]
Costing rules for SAvlTree methods
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- AvlTreeCoster
- Coster
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new AvlTreeCoster(obj: IRContext.RCosted[IRContext.AvlTree], method: SMethod, costedArgs: Seq[IRContext.RCosted[_]], args: Seq[IRContext.Sym])
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
bigIntPropertyAccess(prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.Ref[IRContext.BigInt]): IRContext.RCosted[IRContext.BigInt]
- Definition Classes
- Coster
-
def
boxPropertyAccess(prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.Ref[IRContext.Box], propSize: (IRContext.RSize[IRContext.AvlTree]) ⇒ IRContext.RSize[IRContext.Box]): IRContext.RCosted[IRContext.Box]
- Definition Classes
- Coster
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
constantSizePropertyAccess[R](prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.Ref[R]): IRContext.RCosted[R]
- Definition Classes
- Coster
- def contains(key: IRContext.RCosted[IRContext.Coll[Byte]], proof: IRContext.RCosted[IRContext.Coll[Byte]]): IRContext.RCosted[Boolean]
-
def
costOfArgs: Seq[IRContext.Ref[Int]]
- Definition Classes
- Coster
-
def
defaultCollPropertyAccess[R](prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.RColl[R], propSize: (IRContext.RSize[IRContext.AvlTree]) ⇒ IRContext.RSize[IRContext.Coll[R]], itemCost: IRContext.Ref[Int])(implicit arg0: IRContext.Elem[R]): IRContext.RCostedColl[R]
- Definition Classes
- Coster
-
def
defaultOptionPropertyAccess[R](prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.ROption[R], propSize: (IRContext.RSize[IRContext.AvlTree]) ⇒ IRContext.RSize[IRContext.WOption[R]], itemCost: IRContext.Ref[Int])(implicit arg0: IRContext.Elem[R]): IRContext.RCostedOption[R]
- Definition Classes
- Coster
-
def
defaultPropertyAccess[R](prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.Ref[R], propSize: (IRContext.RSize[IRContext.AvlTree]) ⇒ IRContext.RSize[R]): IRContext.RCosted[R]
- Definition Classes
- Coster
- def digest(): IRContext.Ref[IRContext.CostedColl[Byte]]
-
def
digest32PropertyAccess(prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.Ref[IRContext.Coll[Byte]]): IRContext.Ref[IRContext.CostedColl[Byte]]
- Definition Classes
- Coster
- def enabledOperations(): IRContext.RCosted[Byte]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- def get(key: IRContext.RCosted[IRContext.Coll[Byte]], proof: IRContext.RCosted[IRContext.Coll[Byte]]): IRContext.RCosted[IRContext.WOption[IRContext.Coll[Byte]]]
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getMany(_keys: IRContext.RCosted[IRContext.Coll[IRContext.Coll[Byte]]], _proof: IRContext.RCosted[IRContext.Coll[Byte]]): IRContext.RCosted[IRContext.Coll[IRContext.WOption[IRContext.Coll[Byte]]]]
-
def
groupElementPropertyAccess(prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.Ref[IRContext.GroupElement]): IRContext.RCosted[IRContext.GroupElement]
- Definition Classes
- Coster
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def insert(kvs: IRContext.RCosted[IRContext.Coll[(IRContext.Coll[Byte], IRContext.Coll[Byte])]], proof: IRContext.RCosted[IRContext.Coll[Byte]]): IRContext.RCosted[IRContext.WOption[IRContext.AvlTree]]
- def isInsertAllowed(): IRContext.RCosted[Boolean]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isRemoveAllowed(): IRContext.RCosted[Boolean]
- def isUpdateAllowed(): IRContext.RCosted[Boolean]
- def keyLength(): IRContext.RCosted[Int]
-
def
knownLengthCollPropertyAccess[R](prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.Ref[IRContext.Coll[R]], info: IRContext.KnownCollInfo[R]): IRContext.Ref[IRContext.CostedColl[R]]
- Definition Classes
- Coster
-
def
knownSizePropertyAccess[R](prop: (IRContext.Ref[IRContext.AvlTree]) ⇒ IRContext.Ref[R], size: IRContext.RSize[R]): IRContext.RCosted[R]
- Definition Classes
- Coster
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def remove(keys: IRContext.RCosted[IRContext.Coll[IRContext.Coll[Byte]]], proof: IRContext.RCosted[IRContext.Coll[Byte]]): IRContext.RCosted[IRContext.WOption[IRContext.AvlTree]]
-
def
sizeOfArgs: IRContext.Ref[Long]
- Definition Classes
- Coster
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def update(kvs: IRContext.RCosted[IRContext.Coll[(IRContext.Coll[Byte], IRContext.Coll[Byte])]], proof: IRContext.RCosted[IRContext.Coll[Byte]]): IRContext.RCosted[IRContext.WOption[IRContext.AvlTree]]
- def updateDigest(newDigest: IRContext.RCosted[IRContext.Coll[Byte]]): IRContext.Ref[IRContext.CCostedPrim[IRContext.AvlTree]]
- def updateOperations(flags: IRContext.RCosted[Byte]): IRContext.Ref[IRContext.CCostedPrim[IRContext.AvlTree]]
- def valueLengthOpt(): IRContext.RCostedOption[Int]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()