Package org.derive4j.processor.api
Class FreeVariable
- java.lang.Object
-
- org.derive4j.processor.api.FreeVariable
-
- Direct Known Subclasses:
FreeVariables.Lazy
,FreeVariables.Variable
@Data public abstract class FreeVariable extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
FreeVariable.Case<X>
-
Constructor Summary
Constructors Constructor Description FreeVariable()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract <X> X
variable(FreeVariable.Case<X> variable)
-
-
-
Method Detail
-
variable
public abstract <X> X variable(FreeVariable.Case<X> variable)
-
-