A B C D E F G I J K L M N O P Q R S T U V X Y

A

AbstractAlgorithm - Class in omnics

Represents the abstract implementation of the Algorithm interface.

AbstractAlgorithm() - Constructor for class omnics.AbstractAlgorithm

AbstractAlgorithm(Problem) - Constructor for class omnics.AbstractAlgorithm

AbstractExplainer - Class in omnics.expl

AbstractExplainer() - Constructor for class omnics.expl.AbstractExplainer

AbstractFilter - Class in omnics.filter

Represents the abstract implementation of the Filter interface.

AbstractFilter() - Constructor for class omnics.filter.AbstractFilter

Creates a new instance of AbstractFilter

AbstractFilter(Problem) - Constructor for class omnics.filter.AbstractFilter

Creates a new instance of AbstractFilter

AbstractSolver - Class in omnics

Represents the abstract implementation of the Solver interface.

AbstractSolver(Problem) - Constructor for class omnics.AbstractSolver

Creates a new instance of AbstractSolver

AbstractStrategy - Class in omnics.strategy

Represents an abstract implementation of SolverStrategy interface.

AbstractStrategy() - Constructor for class omnics.strategy.AbstractStrategy

add(Tuple) - Method in class omnics.constraint.ExplicitConstraint

add(Var) - Method in class omnics.VarSet

addConstraint(Constraint) - Method in class omnics.Problem

Adds a new constraint to the problem.

addElimination(Elimination) - Method in class omnics.expl.Explanation

Adds an elimination caused by the tuple.

addFilter(Filter) - Method in class omnics.SystematicSolver

Adds a filter to the solver.

AdditiveValuation - Class in omnics

WCSP Valuation Structure.

AdditiveValuation() - Constructor for class omnics.AdditiveValuation

Creates a new instance of AdditiveValuation

addListener(SolverListener) - Method in class omnics.SystematicSolver

addVariable(Var) - Method in class omnics.Problem

Adds a variable to the problem.

Algorithm - Interface in omnics

Describes an algorithm that can be executed for a constraint satisfaction problem.

AllDiff - Class in omnics.constraint

The AllDiff global constraint.

AllDiff(VarSet) - Constructor for class omnics.constraint.AllDiff

Creates a new instance of AllDiff

AllDiff(Var...) - Constructor for class omnics.constraint.AllDiff

Creates a new instance of AllDiff

ALLOWED - Static variable in class omnics.Constraint

ALLOWED - Static variable in interface omnics.ValuationStructure

An constant holding the minimum value of the valuation structure.

amplify(int) - Method in class omnics.constraint.soft.SoftScalarProduct

analyzer - Variable in class omnics.AbstractSolver

Analyzer - Interface in omnics

Describes an algorithm able to analyze a problem and to determine if it is inconsistent or is a special case or it can be easily solved.

ArcConsistency - Class in omnics.filter

Abstract class that offers support for creating global filters that maintain the arc-consistency of the constraint network beeing solved.

ArcConsistency(Problem) - Constructor for class omnics.filter.ArcConsistency

Creates a new instance of ArcConsistency.

assign(Var) - Method in interface omnics.strategy.AssignmentStrategy

Returns the value that will be assigned to the specified variable.

assign(Var) - Method in class omnics.strategy.ConsistentAssignment

assign(Var) - Method in class omnics.strategy.MinCostAssignment

Assigns a value to a variable

assign(Var) - Method in class omnics.strategy.SimpleAssignment

Returns the value that will be assigned to the specified variable.

assign(Var, Object) - Method in class omnics.SystematicSolver

AssignmentStrategy - Interface in omnics.strategy

Describes an heuristic responsible with selecting the next value that will be assigned to a specified variable.

assignmentStrategy - Variable in class omnics.SystematicSolver

attempts - Variable in class omnics.SystematicSolver

attempts() - Method in class omnics.SystematicSolver

Returns the number of attemtps to extend the current solution.