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