Class EXAMPLE-ELEVATOR-TO-DESIGN

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

Slots on this class:

Documentation:

A class of elevators satisfying the given requirements, which are stated as a constraint that assigns values to some attributes.

Instance-Of: Class

Subclass-Of: Elevator, Valid-component

Equivalence Axioms:

(<=> (Example-Elevator-To-Design ?E)
     (And (Elevator ?E)
          (Valid-Component ?E)
          (Has-Constraint 
              ?E
              (The-Constraint '(And (= (Cabheight ?E) 96)
                                    (= (Maxcarcapacity ?E) 3000)
                                    (= (Cabintercomspec ?E) no)
                                    (= (Cablanternspec ?E) no)
                                    (= (Carphonespec ?E) yes)
                                    (= (Carpositionindicatorspec ?E)
                                       Yes)
                                    (= (Dooropeningtype ?E) side)
                                    (= (Doorspeedspec ?E) double)
                                    (= (Floorheightspec ?E) 165)
                                    (= (Hoistwaydepth ?E) 110)
                                    (= (Hoistwaytofrontmbeam ?E) 3)
                                    (= (Hoistwaywidth ?E) 90)
                                    (= (Mbeamsupportdistspec ?E) 118)
                                    (= (Mbeamsupporttypespec ?E)
                                       Pocket)
                                    (= (Machineroommbeamspec ?E) 16)
                                    (= (Openingheight ?E) 84)
                                    (= (Openingstrikesidespec ?E)
                                       Right)
                                    (= (Openinghoistwayleftspec ?E)
                                       32)
                                    (= (Dooropenwidth ?E) 42)
                                    (= (Noofopenings ?E) 6)
                                    (= (Overheadspec ?E) 192)
                                    (= (Pitdepth ?E) 72)
                                    (= (Platformheightspec ?E) 84)
                                    (= (Platformwidthspec ?E) 70)
                                    (= (Elevatorspeed ?E) 250)
                                    (= (Travelspec ?E) 729))))))

Axioms:

(Has-Constraint ?E
                (The-Constraint 
                    '(And (= (Cabheight ?E) 96)
                          (= (Maxcarcapacity ?E) 3000)
                          (= (Cabintercomspec ?E) no)
                          (= (Cablanternspec ?E) no)
                          (= (Carphonespec ?E) yes)
                          (= (Carpositionindicatorspec ?E) yes)
                          (= (Dooropeningtype ?E) side)
                          (= (Doorspeedspec ?E) double)
                          (= (Floorheightspec ?E) 165)
                          (= (Hoistwaydepth ?E) 110)
                          (= (Hoistwaytofrontmbeam ?E) 3)
                          (= (Hoistwaywidth ?E) 90)
                          (= (Mbeamsupportdistspec ?E) 118)
                          (= (Mbeamsupporttypespec ?E) pocket)
                          (= (Machineroommbeamspec ?E) 16)
                          (= (Openingheight ?E) 84)
                          (= (Openingstrikesidespec ?E) right)
                          (= (Openinghoistwayleftspec ?E) 32)
                          (= (Dooropenwidth ?E) 42)
                          (= (Noofopenings ?E) 6)
                          (= (Overheadspec ?E) 192)
                          (= (Pitdepth ?E) 72)
                          (= (Platformheightspec ?E) 84)
                          (= (Platformwidthspec ?E) 70)
                          (= (Elevatorspeed ?E) 250)
                          (= (Travelspec ?E) 729))))

(Valid-Component ?E)

(Elevator ?E)

Other Related Axioms:

(<=> (Example-Elevator-To-Design ?E)
     (And (Elevator ?E)
          (Valid-Component ?E)
          (Has-Constraint 
              ?E
              (The-Constraint '(And (= (Cabheight ?E) 96)
                                    (= (Maxcarcapacity ?E) 3000)
                                    (= (Cabintercomspec ?E) no)
                                    (= (Cablanternspec ?E) no)
                                    (= (Carphonespec ?E) yes)
                                    (= (Carpositionindicatorspec ?E)
                                       Yes)
                                    (= (Dooropeningtype ?E) side)
                                    (= (Doorspeedspec ?E) double)
                                    (= (Floorheightspec ?E) 165)
                                    (= (Hoistwaydepth ?E) 110)
                                    (= (Hoistwaytofrontmbeam ?E) 3)
                                    (= (Hoistwaywidth ?E) 90)
                                    (= (Mbeamsupportdistspec ?E) 118)
                                    (= (Mbeamsupporttypespec ?E)
                                       Pocket)
                                    (= (Machineroommbeamspec ?E) 16)
                                    (= (Openingheight ?E) 84)
                                    (= (Openingstrikesidespec ?E)
                                       Right)
                                    (= (Openinghoistwayleftspec ?E)
                                       32)
                                    (= (Dooropenwidth ?E) 42)
                                    (= (Noofopenings ?E) 6)
                                    (= (Overheadspec ?E) 192)
                                    (= (Pitdepth ?E) 72)
                                    (= (Platformheightspec ?E) 84)
                                    (= (Platformwidthspec ?E) 70)
                                    (= (Elevatorspeed ?E) 250)
                                    (= (Travelspec ?E) 729))))))