A B C D E F G H I J K L M N O P Q R S T U V W X _

B

BinaryExpression - Class in fmrisc.Syntax

Abstract base class of binary expressions

BinaryExpression(String, Expression, Expression) - Constructor for class fmrisc.Syntax.BinaryExpression

constructs binary expression from op, first, and second

bind(ValueDeclIdentifier, Expression, Expression) - Static method in class fmrisc.Proving.ProofUtil

Construct expression that binds ident to value in body.

BKDRHash(String) - Static method in class fmrisc.External.GeneralHashFunctionLibrary

BoundVariables - Class in fmrisc.Semantics

Compute the variables bound within an expression.

BoundVariables() - Constructor for class fmrisc.Semantics.BoundVariables

BreakInfo - Class in fmrisc.Communication

Line break information for pretty-printing abstract syntax trees.