Class VT-CONSTRAINT-SENTENCE

• Defined in theory: Vt-design
• Source code: vt-design.lisp

Slots on this class:

Documentation:

A VT constraint-sentence is a constraint-sentence with the logical operators, relational constants, and attribute operators restricted as listed below.

Instance-Of: Class

Subclass-Of: Constraint-expression

Axioms:

(Restricted-Constraint-Sentence ?Sentence
                                (One-Of 'And
                                        'Or
                                        'Not
                                        '=>
                                        '<=
                                        '<=>)
                                (One-Of '=
                                        '/=
                                        '<
                                        '>
                                        '=<
                                        '>=
                                        'Member)
                                Function-Allowed-In-Vt-Constraint
                                Atomic-Term)

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Vt-Constraint
                       Constraint.Expression
                       Vt-Constraint-Sentence)

(=> (Vt-Constraint ?C)
    (And (Value-Type ?C Constraint.Expression Vt-Constraint-Sentence)
         (Value-Cardinality ?C Constraint.Expression 1)))

(=> (Vt-Constraint-Sentence ?Sentence)
    (Restricted-Constraint-Sentence ?Sentence
                                    (One-Of 'And
                                            'Or
                                            'Not
                                            '=>
                                            '<=
                                            '<=>)
                                    (One-Of '=
                                            '/=
                                            '<
                                            '>
                                            '=<
                                            '>=
                                            'Member)
                                    Function-Allowed-In-Vt-Constraint
                                    Atomic-Term))