Alloy Query Syntax (AQS)Child node typesArithmetic nodesOn this pageArithmetic nodesOverview These nodes compute numerical values. They can be added to the segments of comparison nodes and other functions. Arithmetic nodes calculate a number from the inputs you supply. Add Ceiling Divide Floor Multiply Power Root Subtract
