fipaos.skill.constraint.ccl.proposition
Class Diagrams 
proposition
Classes 
CSPInsoluble
CSPSoluble
CSPUnknown
IsActionResult
IsCsp