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

V

ValidAnswer - Class in fmrisc.Proving

Answer that formula is valid.

ValidAnswer(String) - Constructor for class fmrisc.Proving.ValidAnswer

Create answer that formula is valid with denoted justification.

ValueC - Class in fmrisc.ProofNavigator.Commands

Command "value": print value of value identifier.

ValueC(Identifier) - Constructor for class fmrisc.ProofNavigator.Commands.ValueC

Create a "value" command.

valueDeclaration(ValueDeclIdentifier, Type, Expression) - Static method in class fmrisc.Syntax.Construct

construct value declaration with denoted name, type and value.

ValueDeclaration - Class in fmrisc.Syntax

Handling of value declarations.

ValueDeclaration(ValueDeclIdentifier, Type, Expression) - Constructor for class fmrisc.Syntax.ValueDeclaration

construct value declaration with denoted name, type and value.

valueDeclIdentifier(String) - Static method in class fmrisc.Syntax.Construct

construct value declaration identifier with denoted name.

ValueDeclIdentifier - Class in fmrisc.Syntax

Handling of identifiers used in value declarations

ValueDeclIdentifier(String) - Constructor for class fmrisc.Syntax.ValueDeclIdentifier

construct identifier from name

valuedIdentifier(Reference, Expression) - Static method in class fmrisc.Syntax.Construct

construct identifier with value from identifier and value.

ValuedIdentifier - Class in fmrisc.Syntax

Handling of identifier with value

ValuedIdentifier(Reference, Expression) - Constructor for class fmrisc.Syntax.ValuedIdentifier

construct identifier with value from identifier and value.

valueExp() - Method in class fmrisc.ProofNavigator.PNParser

valueExp() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp0() - Method in class fmrisc.ProofNavigator.PNParser

valueExp0() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp10() - Method in class fmrisc.ProofNavigator.PNParser

valueExp10() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp3() - Method in class fmrisc.ProofNavigator.PNParser

valueExp3() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp30() - Method in class fmrisc.ProofNavigator.PNParser

valueExp30() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp40() - Method in class fmrisc.ProofNavigator.PNParser

valueExp40() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp43() - Method in class fmrisc.ProofNavigator.PNParser

valueExp43() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp45() - Method in class fmrisc.ProofNavigator.PNParser

valueExp45() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp5() - Method in class fmrisc.ProofNavigator.PNParser

valueExp5() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp50() - Method in class fmrisc.ProofNavigator.PNParser

valueExp50() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp6() - Method in class fmrisc.ProofNavigator.PNParser

valueExp6() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp60() - Method in class fmrisc.ProofNavigator.PNParser

valueExp60() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp70() - Method in class fmrisc.ProofNavigator.PNParser

valueExp70() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp8() - Method in class fmrisc.ProofNavigator.PNParser

valueExp8() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp9() - Method in class fmrisc.ProofNavigator.PNParser

valueExp9() - Method in class fmrisc.Proving.CVCL.CVCLParser

valueExp90() - Method in class fmrisc.ProofNavigator.PNParser

valueExp90() - Method in class fmrisc.Proving.CVCL.CVCLParser

ValueSymbol - Class in fmrisc.Semantics

Symbols in ValueTable.

ValueSymbol(ValueDeclIdentifier) - Constructor for class fmrisc.Semantics.ValueSymbol

Construct value symbol from ident (type and value are both null).

ValueTable - Class in fmrisc.Semantics

Value table for named value lookup.

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

vdeclaration() - Method in class fmrisc.ProofNavigator.PNParser

vdeclaration() - Method in class fmrisc.Proving.CVCL.CVCLParser

visit(AST) - Method in interface fmrisc.Syntax.ASTVisitor

Visit an abstract syntax tree.

visit(AST) - Method in class fmrisc.Syntax.ASTVisitorBase

Visit an abstract syntax tree.