Class OpenMathApplication

java.lang.Object

org.episteme.core.mathematics.loaders.openmath.OpenMathApplication

public class OpenMathApplication
extends Object

Represents an OpenMath application (OMA) - function applied to arguments.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
OpenMathApplication(Object operator, List<Object> arguments)

Method Summary

Modifier and Type	Method	Description
List<Object>	getArguments()
Object	getOperator()
String	toString()

Methods inherited from class Object

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

Constructor Details

OpenMathApplication

public OpenMathApplication(Object operator,
 List<Object> arguments)

Method Details

getOperator

public Object getOperator()

getArguments

public List<Object> getArguments()

toString

public String toString()

Overrides:

toString in class Object