| |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Diagram Summary | |
proposition |
Class Summary | |
CSPInsoluble | This class represents the object CSP-insoluble as described in "CCL Language Specification, v2.01" section 4.1.3.1, p10. |
CSPSoluble | This class represents the object CSP-soluble as described in "CCL Language Specification, v2.01" section 4.1.3.2, p10. |
CSPUnknown | This class represents the object CSP-unknown as described in "CCL Language Specification, v2.01" section 4.1.3.3, p10. |
IsActionResult | This class represents the object Is-action-result as described in "CCL Language Specification, v2.01" section 4.1.3.5, p11. |
IsCsp | This class represents the object Is-csp as described in "CCL Language Specification, v2.01" section 4.1.3.4, p11. |
| |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |