The Fortress Language Specification - CiteSeerX

opr ·unit U ′ ,bool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′ ,bool nan ′
(self,other:RationalQuantityU ′ ,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,nan ′ ) :
RationalQuantity U U ′ ,
ninf ∧ pinf ′ ∨ ninf ∧ gt ′ ∨ lt ∧ pinf ′ ∨ pinf ∧ ninf ′ ∨ pinf ∧ lt ′ ∨ gt ∧ ninf ′ ,
lt ∧ gt ′ ∨ gt ∧ lt ′ ,
eq ∧ (lt ′ ∨ eq ′ ∨ gt ′ ) ∨ (lt ∨ eq ∨ gt) ∧ eq ′ ,
lt ∧ lt ′ ∨ gt ∧ gt ′ ,
ninf ∧ ninf ′ ∨ ninf ∧ lt ′ ∨ lt ∧ ninf ′ ∨ pinf ∧ pinf ′ ∨ pinf ∧ gt ′ ∨ gt ∧ pinf ′ ,
nan ∨ nan ′ ∨ ninf ∧ eq ′ ∨ pinf ∧ eq ′ ∨ eq ∧ ninf ′ ∨ eq ∧ pinf ′
opr /(self): RationalQuantity1/U,eq,lt,ninf ∨ pinf ,gt,eq,nan
opr /unit U ′ ,bool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′ ,bool nan ′
(self,other:RationalQuantityU ′ ,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,nan ′ ) :
RationalQuantity U/U ′ ,
ninf ∧ eq ′ ∨ ninf ∧ gt ′ ∨ lt ∧ eq ′ ∨ pinf ∧ lt ′ ,
lt ∧ gt ′ ∨ gt ∧ lt ′ ,
eq ∧ (lt ′ ∨ gt ′ ) ∨ (lt ∨ eq ∨ gt) ∧ (ninf ′ ∨ pinf ′ ) ′ ,
lt ∧ lt ′ ∨ gt ∧ gt ′ ,
ninf ∧ lt ′ ∨ pinf ∧ eq ′ ∨ pinf ∧ gt ′ ∨ gt ∧ eq ′ ,
nan ∨ nan ′ ∨ (ninf ∨ pinf ) ∧ (ninf ′ ∨ pinf ′ ) ∨ eq ∧ eq ′
opr bool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′ ,bool nan ′
(self,other:RationalQuantityU,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,nan ′ ):Boolean
opr CMPbool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′
(self,other:RationalQuantityU,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,false):TotalComparison
opr CMPbool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′
(self,other:RationalQuantityU,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,true):Comparison
opr MAXbool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′ ,bool nan ′
(self,other:RationalQuantityU,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,nan ′ ) :
RationalQuantity U,
ninf ∧ ninf ′ ,
lt ∧ (ninf ′ ∨ lt ′ ) ∨ (ninf ∨ lt) ∧ lt ′ ,
eq ∧ (ninf ′ ∨ lt ′ ∨ eq ′ ) ∨ (ninf ∨ lt ∨ eq) ∧ eq ′ ,
gt ∧ (ninf ′ ∨ lt ′ ∨ eq ′ ∨ gt ′ ) ∨ (ninf ∨ lt ∨ eq ∨ gt) ∧ gt ′ ,
pinf ∧ (ninf ′ ∨ lt ′ ∨ eq ′ ∨ gt ′ ∨ pinf ′ ) ∨ (ninf ∨ lt ∨ eq ∨ gt ∨ pinf ) ∧ pinf ′ ,
nan ∨ nan ′
opr MINbool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′ ,bool nan ′
(self,other:RationalQuantityU,ninf ′ ,lt ′ ,eq ′ ,gt ′ ,pinf ′ ,nan ′ ) :
RationalQuantity U,
ninf ∧ (ninf ′ ∨ lt ′ ∨ eq ′ ∨ gt ′ ∨ pinf ′ ) ∨ (ninf ∨ lt ∨ eq ∨ gt ∨ pinf ) ∧ ninf ′ ,
lt ∧ (lt ′ ∨ eq ′ ∨ gt ′ ∨ pinf ′ ) ∨ (lt ∨ eq ∨ gt ∨ pinf ) ∧ lt ′ ,
eq ∧ (eq ′ ∨ gt ′ ∨ pinf ′ ) ∨ (eq ∨ gt ∨ pinf ) ∧ eq ′ ,
gt ∧ (gt ′ ∨ pinf ′ ) ∨ (gt ∨ pinf ) ∧ gt ′ ,
pinf ∧ pinf ′ ,
nan ∨ nan ′
opr MAXNUMbool ninf ′ ,bool lt ′ ,bool eq ′ ,bool gt ′ ,bool pinf ′ ,bool nan ′
264