omnics
Class DefaultAnalyzer

java.lang.Object
  omnics.AbstractAlgorithm
      omnics.DefaultAnalyzer

All Implemented Interfaces:

java.io.Serializable, Algorithm, Analyzer

public class DefaultAnalyzer
extends AbstractAlgorithm
implements Analyzer, java.io.Serializable

Represents the default problem analyzer.

Author:

Cristian Frasinaru

See Also:

Serialized Form

Field Summary

Fields inherited from class omnics.AbstractAlgorithm

name, problem

Constructor Summary

DefaultAnalyzer()

Method Summary

protected boolean	emptyDomain()
Solver	getSolver() Returns a simple solver for this problem.
void	init() Creates data structures needed for the other methods.
boolean	isInconsistent() Returns true if the problem has no solution.
boolean	isSimple() Returns true if a simple solver for this problem exists.
boolean	isSolved() Returns true if the problem is solved.
protected boolean	singletonDomains()

Methods inherited from class omnics.AbstractAlgorithm

getName, getProblem, setName, setProblem

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface omnics.Algorithm

getName, getProblem, setName, setProblem

Constructor Detail

DefaultAnalyzer

public DefaultAnalyzer()

Method Detail

init

public void init()

Creates data structures needed for the other methods.

Specified by:

init in interface Analyzer

isSimple

public boolean isSimple()

Returns true if a simple solver for this problem exists.

Specified by:

isSimple in interface Analyzer

getSolver

public Solver getSolver()

Returns a simple solver for this problem.

Specified by:

getSolver in interface Analyzer

isSolved

public boolean isSolved()

Returns true if the problem is solved.

Specified by:

isSolved in interface Analyzer

isInconsistent

public boolean isInconsistent()

Returns true if the problem has no solution.

Specified by:

isInconsistent in interface Analyzer

singletonDomains

protected boolean singletonDomains()

emptyDomain

protected boolean emptyDomain()