IdentifiableLoweredValue
Values with id which can be represented by variables (if needed).
Identificatin is id.
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class VariableLoweredValue
Members list
Value members
Abstract methods
Set of variables, which this value are directly depended on.
Set of variables, which this value are directly depended on.
Attributes
Set of variables, which this value are directly used in. (i.e. the have this value in rhs). non-transitive (i.e. if your want to find all depended set you should run transitive closure on this)
Set of variables, which this value are directly used in. (i.e. the have this value in rhs). non-transitive (i.e. if your want to find all depended set you should run transitive closure on this)
Attributes
Concrete methods
add identifiable variable to be updated from this variable
add identifiable variable to be updated from this variable
Attributes
- Definition Classes
Compares the receiver object (this
) with the argument object (that
) for equivalence.
Compares the receiver object (this
) with the argument object (that
) for equivalence.
Any implementation of this method should be an equivalence relation:
- It is reflexive: for any instance
x
of typeAny
,x.equals(x)
should returntrue
. - It is symmetric: for any instances
x
andy
of typeAny
,x.equals(y)
should returntrue
if and only ify.equals(x)
returnstrue
. - It is transitive: for any instances
x
,y
, andz
of typeAny
ifx.equals(y)
returnstrue
andy.equals(z)
returnstrue
, thenx.equals(z)
should returntrue
.
If you override this method, you should verify that your implementation remains an equivalence relation. Additionally, when overriding this method it is usually necessary to override hashCode
to ensure that objects which are "equal" (o1.equals(o2)
returns true
) hash to the same scala.Int. (o1.hashCode.equals(o2.hashCode)
).
Value parameters
- that
-
the object to compare against this object for equality.
Attributes
- Returns
-
true
if the receiver object is equivalent to the argument;false
otherwise. - Definition Classes
-
Any
Attributes
- Definition Classes
Calculates a hash code value for the object.
Calculates a hash code value for the object.
The default hashing algorithm is platform dependent.
Note that it is allowed for two objects to have identical hash codes (o1.hashCode.equals(o2.hashCode)
) yet not be equal (o1.equals(o2)
returns false
). A degenerate implementation could always return 0
. However, it is required that if two objects are equal (o1.equals(o2)
returns true
) that they have identical hash codes (o1.hashCode.equals(o2.hashCode)
). Therefore, when overriding this method, be sure to verify that the behavior is consistent with the equals
method.
Attributes
- Returns
-
the hash code value for this object.
- Definition Classes
-
Any
Inherited methods
Upcast the value to the target type if needed.
Attributes
- Inherited from:
- LoweredValue
Attributes
- Inherited from:
- LoweredValue
The UPLC term that represents this value, wrapped in vars if needed.
The UPLC term that represents this value, wrapped in vars if needed.
Value parameters
- gctx
-
- context for term generation
Attributes
- Returns
-
generated term wrapped in lambdas with definition of needed uplevel variables
- Inherited from:
- LoweredValue
Convert this value to the giveb representation,
Attributes
- Inherited from:
- LoweredValue
Inherited and Abstract methods
Pretty print this value with all definitona
Pretty print this value with all definitona
Value parameters
- style
-
- style of printing
Attributes
- Inherited from:
- LoweredValue
Pretty print reference to value
Pretty print reference to value
Value parameters
- style
-
- style of printing
Attributes
- Inherited from:
- LoweredValue
Uplevel variables, that shoule be generated before generation of term
Uplevel variables, that shoule be generated before generation of term
Attributes
- Inherited from:
- LoweredValue
Attributes
- Inherited from:
- LoweredValue
The type of representation of this value.
Attributes
- Inherited from:
- LoweredValue
Generates the term for this value.
Uplevel variables, that are used in this value.