Class OpenMathBinding
java.lang.Object
org.episteme.core.mathematics.loaders.openmath.OpenMathBinding
Represents an OpenMath binding (OMBIND) - quantifier or lambda.
- Since:
- 1.0
- Author:
- Silvere Martin-Michiellot, Gemini AI (Google DeepMind)
-
Constructor Summary
ConstructorsConstructorDescriptionOpenMathBinding(Object binder, List<OpenMathVariable> variables, Object body) -
Method Summary
-
Constructor Details
-
OpenMathBinding
-
-
Method Details
-
getBinder
-
getVariables
-
getBody
-
toString
-