SmartFrog 3.10.000

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

java.lang.Object
  extended by 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

SmartFrog CORE 3.10.000

(C) Copyright 1998-2006 Hewlett-Packard Development Company, LP