DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦b13603e28⟧ TextFile

    Length: 1188 (0x4a4)
    Types: TextFile
    Names: »V«

Derivation

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧

TextFile

with Ada_Program;
package Boolean_Expressions is

    type Operator is (And_Operator,  
                      Or_Operator,  
                      Xor_Operator,  
                      And_Then_Operator, Or_Else_Operator,  
                      Not_Operator,  
                      Equal, Not_Equal,  
                      Less_Than, Less_Than_Or_Equal,  
                      Greater_Than, Greater_Than_Or_Equal);

    function Image (O : Operator) return String;

    type Expression_Kind is (Expression, Relation, Not_Expression, Identifier,
                             Literal, Other_Atom, Not_An_Expression);

    function Kind (An_Expression : Ada_Program.Element) return Expression_Kind;


    function Expression_Operator
                (An_Expression : Ada_Program.Element) return Operator;

    function Left_Argument (An_Expression : Ada_Program.Element)
                           return Ada_Program.Element;
    function Right_Argument (An_Expression : Ada_Program.Element)
                            return Ada_Program.Element;

    function Argument (A_Not_Expression : Ada_Program.Element)
                      return Ada_Program.Element;

end Boolean_Expressions;