Constructor
new UniversalQuantifier()
- Source:
Extends
Methods
evaluate(arguments)
Computes the return value of the function from its provided input
arguments.
Parameters:
| Name | Type | Description |
|---|---|---|
arguments |
A variable number of input arguments |
- Inherited From:
- Source:
Returns:
The return value of the function
getArity()
Gets the arity of the function.
- Inherited From:
- Source:
Returns:
The arity
setTo(variable, value)
Binds a variable name to a specific value.
Parameters:
| Name | Type | Description |
|---|---|---|
variable |
The name of the variable | |
value |
The value to bind this variable to |
- Inherited From:
- Source: