Constructor
new Quantifier(index, domain, phi)
Creates a new instance of quantifier.
Parameters:
| Name | Type | Description |
|---|---|---|
index |
integer | string | |
domain |
AbstractFunction | |
phi |
AbstractFunction |
- 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 |
- Overrides:
- Source:
Returns:
The return value of the function
getArity()
Gets the arity of the function.
- Overrides:
- 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 |
- Overrides:
- Source: