public abstract class SolverOperation
extends java.lang.Object
SolverOperation
class stores information about a solver operation. The information
explains how the operation should be translated to solver-specific representation.
The SolverOperation
class describes both built-in and custom solver operation.Modifier and Type | Class and Description |
---|---|
static class |
SolverOperation.Kind
Describes the type of the solver operation.
|
Modifier and Type | Method and Description |
---|---|
abstract Function |
getFunction()
Returns the underlying function.
|
SolverOperation.Kind |
getKind()
Returns operation kind identifier.
|
java.lang.Enum<?> |
getOperationId()
Returns the operation identifier.
|
abstract FunctionTemplate |
getTemplate()
Returns the underlying function template.
|
abstract java.lang.String |
getText()
Returns the textual representation of the operation.
|
static SolverOperation |
newFunction(Function function)
Constructs a solver operation on the basis of the given function.
|
static SolverOperation |
newTemplate(FunctionTemplate template)
Constructs a solver operation on the basis of the given function template.
|
static SolverOperation |
newText(java.lang.Enum<?> id,
java.lang.String text)
Constructs a solver operation from the specified operation identifier and
the textual representation of the operation.
|
public static final SolverOperation newText(java.lang.Enum<?> id, java.lang.String text)
id
- Operation identifier.text
- Textual representation of the operation.SolverOperation
object.java.lang.IllegalArgumentException
- if any of the arguments is null
.public static final SolverOperation newFunction(Function function)
function
- Function object.SolverOperation
object.java.lang.IllegalArgumentException
- if the argument is null
.public static final SolverOperation newTemplate(FunctionTemplate template)
template
- Function template object.SolverOperation
object.java.lang.IllegalArgumentException
- if the argument is null
.public final SolverOperation.Kind getKind()
public final java.lang.Enum<?> getOperationId()
public abstract java.lang.String getText()
public abstract Function getFunction()
public abstract FunctionTemplate getTemplate()