avail/avail.optimizer/L2SplitCondition/L2MeetsRestrictionCondition

L2MeetsRestrictionCondition

class L2MeetsRestrictionCondition : L2SplitCondition

A condition that holds if a register having one of the given semanticValues is guaranteed to satisfy the provided TypeRestriction.

Types

object Companion

Properties

open override val hash: Int

The pre-computed hash.

Functions

open operator override fun equals(other: Any?): Boolean

override fun hashCode(): Int

open override fun holdsFor(manifest: L2ValueManifest): Boolean

Answer whether the condition is guaranteed to hold for values constrained by the given L2ValueManifest.

open override fun toString(): String