yacs.solver
Class SearchSolver

java.lang.Object
  extended byyacs.solver.SearchSolver
All Implemented Interfaces:
Solver
Direct Known Subclasses:
BacktrackingSolver, MAC3Solver, MACSolver, SingleSolutionBTSolver

public abstract class SearchSolver
extends java.lang.Object
implements Solver

Abstrakte Klasse für Constraint-Solver mit Verfahren zur Lösungssuche.

Copyright (C) 2005 Wolfgang Runte

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA

Version:
YACS 0.1.1
Author:
Wolfgang Runte (woru@tzi.org)

Constructor Summary
SearchSolver()
           
 
Method Summary
 boolean evaluate(ConstraintNet constraintNet)
          Methode zur Initiierung des Lösungsprozesses des jeweiligen Constraint-Solvers.
abstract  boolean search(ConstraintNet constraintNet)
          Benötigt als Eingabe ein Constraint-Netz.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SearchSolver

public SearchSolver()
Method Detail

search

public abstract boolean search(ConstraintNet constraintNet)
                        throws InconsistencyException
Benötigt als Eingabe ein Constraint-Netz. Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.

Parameters:
constraintNet - ConstraintNet
Returns:
boolean
Throws:
InconsistencyException

evaluate

public boolean evaluate(ConstraintNet constraintNet)
                 throws InconsistencyException
Methode zur Initiierung des Lösungsprozesses des jeweiligen Constraint-Solvers. Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.

Specified by:
evaluate in interface Solver
Parameters:
constraintNet - ConstraintNet
Returns:
boolean
Throws:
InconsistencyException