SmartFrog 3.10.000

Uses of Interface
org.smartfrog.sfcore.languages.csf.constraints.Solver

Packages that use Solver
org.smartfrog.sfcore.languages.csf.constraints   
 

Uses of Solver in org.smartfrog.sfcore.languages.csf.constraints
 

Classes in org.smartfrog.sfcore.languages.csf.constraints that implement Solver
 class CoreSolver
          Created by IntelliJ IDEA.
 class NullSolver
          Implementation of the default minimal solver - it does not bind any variables, it simply checks that no variables are present (ie there are no unbound variables).
 class PrologSolver
          Created by IntelliJ IDEA.
 

Methods in org.smartfrog.sfcore.languages.csf.constraints that return Solver
static Solver CoreSolver.solver()
          Obtain an instance of the solver for the constraints.
 


SmartFrog CORE 3.10.000

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