Class OpenMathBinding

java.lang.Object

org.episteme.core.mathematics.loaders.openmath.OpenMathBinding

public class OpenMathBinding
extends Object

Represents an OpenMath binding (OMBIND) - quantifier or lambda.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
OpenMathBinding(Object binder, List<OpenMathVariable> variables, Object body)

Method Summary

Modifier and Type	Method	Description
Object	getBinder()
Object	getBody()
List<OpenMathVariable>	getVariables()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

OpenMathBinding

public OpenMathBinding(Object binder,
 List<OpenMathVariable> variables,
 Object body)

Method Details

getBinder

public Object getBinder()

getVariables

public List<OpenMathVariable> getVariables()

getBody

public Object getBody()

toString

public String toString()

Overrides:

toString in class Object