SmartFrog 3.10.000

Package org.smartfrog.sfcore.languages.csf.constraints

Interface Summary
Solver Interface that all solver plug-ins must implement in order to be used by the SmartFrog constraint resolution phase.

Class Summary
Constraint Defines the basic Constraint implementation.
CoreSolver Created by IntelliJ IDEA.
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).
PrologSolver Created by IntelliJ IDEA.

SmartFrog CORE 3.10.000

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