Package org.derive4j.processor.api
Class FreeVariables.Lazy
java.lang.Object
org.derive4j.processor.api.FreeVariable
org.derive4j.processor.api.FreeVariables.Lazy
- Enclosing class:
FreeVariables
-
Nested Class Summary
Nested classes/interfaces inherited from class org.derive4j.processor.api.FreeVariable
FreeVariable.Case<X>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate FreeVariable
<X> X
variable
(FreeVariable.Case<X> variable)
-
Field Details
-
expression
-
evaluation
-
-
Constructor Details
-
Lazy
Lazy(Supplier<FreeVariable> freeVariable)
-
-
Method Details
-
_evaluate
-
variable
- Specified by:
variable
in classFreeVariable
-