Package ru.ispras.fortress.solver
-
Interface Summary Interface Description Solver TheSolver
interface provides a protocol for working with different kinds of constraint solvers in a universal way. -
Class Summary Class Description Environment The Environment class provides methods to manage global the settings of the subsystem.SolverBase TheSolverBase
class implements basic functionality of solver representation.SolverOperation TheSolverOperation
class stores information about a solver operation.SolverResult TheSolverResult
class stores a solution to the specified constraint including the status of the operation and the list of errors if any occurred.SolverResultBuilder -
Enum Summary Enum Description SolverId TheSolverId
enumeration specifies which solver should be used to solve a particular constraint.SolverOperation.Kind Describes the type of the solver operation.SolverResult.Status Describes possible statuses of the results produced by a constraint solver.