|
SmartFrog 3.10.000 | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| 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 | |||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||