org.smartfrog.sfcore.languages.csf.constraints
Class CoreSolver

java.lang.Object
  org.smartfrog.sfcore.languages.csf.constraints.CoreSolver

All Implemented Interfaces:

Solver

Direct Known Subclasses:

NullSolver, PrologSolver

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

Created by IntelliJ IDEA. User: pcg Date: 17-Oct-2005 Time: 15:48:22 To change this template use File | Settings | File Templates.

Constructor Summary

CoreSolver()

Method Summary

static Solver

solver() Obtain an instance of the solver for the constraints.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.smartfrog.sfcore.languages.csf.constraints.Solver

solve

Constructor Detail

CoreSolver

public CoreSolver()

Method Detail

solver

public static Solver solver()
                     throws SmartFrogCompileResolutionException

Obtain an instance of the solver for the constraints. This is either an instance of the class defined in the property "org.smartfrog.sfcore.languages.csf.consrtaints.SolverClassName" or, if not defined, the default NullSolver that simply checks that there are no free variables.

Returns:

An instance of the solver class

Throws:

SmartFrogCompileResolutionException