public abstract class SolverOperation
extends java.lang.Object
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 information of the type of the operation.
|
java.lang.Enum<?> |
getOperationId()
Returns the textual representation of the operation.
|
abstract FunctionTemplate |
getTemplate()
Returns the underlying function template.
|
abstract java.lang.String |
getText() |
static SolverOperation |
newFunction(Function function) |
static SolverOperation |
newTemplate(FunctionTemplate template) |
static SolverOperation |
newText(java.lang.Enum<?> id,
java.lang.String text) |
public static final SolverOperation newText(java.lang.Enum<?> id, java.lang.String text)
public static final SolverOperation newFunction(Function function)
public static final SolverOperation newTemplate(FunctionTemplate template)
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()