- validate(String, String, boolean) - Static method in class RegTest.Utility
-
verify that two files, whose names are outputFile and correctFile, by
optionally sorting them, are identical; silent output means both files
are identical
- validate(String, String, boolean, String[]) - Static method in class RegTest.Utility
-
verify that two files, whose names are outputFile and correctFile, by
optionally sorting them, and eliminating an array of regular expressions,
are identical; silent output means both files are identical
- validateMeta(String[]) - Static method in class Boot.MDELite.catalina
-
- validateViolet(String[]) - Static method in class Boot.MDELite.catalina
-
- vals() - Method in enum Boot.MDELite.BootError
-
- vals() - Method in enum CorrectResultsAfterChainingErrorMsgs.Error
-
- vals() - Method in enum CorrectResultsAfterChainingErrorMsgs.ParsE
-
- vals() - Method in interface MDLUtilities.ErrInt
-
- vals() - Method in enum MDLUtilities.Error
-
- vals() - Method in enum MDLUtilities.ParsE
-
- valueOf(String) - Static method in enum Boot.MDELite.BootError
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum CorrectResultsAfterChainingErrorMsgs.Error
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum CorrectResultsAfterChainingErrorMsgs.ParsE
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum MDLUtilities.Error
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum MDLUtilities.ParsE
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum Parsing.TBPrims.TBBarriers
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum PrologDB.Column.opts
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum PrologDB.PrimType
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum Boot.MDELite.BootError
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum CorrectResultsAfterChainingErrorMsgs.Error
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum CorrectResultsAfterChainingErrorMsgs.ParsE
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum MDLUtilities.Error
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum MDLUtilities.ParsE
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum Parsing.TBPrims.TBBarriers
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum PrologDB.Column.opts
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum PrologDB.PrimType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values - Variable in class PrologDB.Tuple
-
tuple contents are a map that pairs (column name, value)
- VarDecl - Class in Parsing.TBPrims.Patterns
-
axiom statement: name ':' expr '=' expr .
- VarDecl() - Constructor for class Parsing.TBPrims.Patterns.VarDecl
-
Standard constructor
- VarDecl(LineToParse) - Constructor for class Parsing.TBPrims.Patterns.VarDecl
-
Standard constructor with line to parse
- VarOrFCall - Class in Parsing.TBPrims.Patterns
-
expression
- VarOrFCall() - Constructor for class Parsing.TBPrims.Patterns.VarOrFCall
-
Standard constructor
- VarOrFCall(LineToParse) - Constructor for class Parsing.TBPrims.Patterns.VarOrFCall
-
Standard constructor with line to parse
- VerifyInstall - Class in MDL
-
program that sees if it can invoke Violet
- VerifyInstall() - Constructor for class MDL.VerifyInstall
-
- Version - Class in MDL
-
MDL program that outputs the version of MDELite
- Version() - Constructor for class MDL.Version
-
- Violet - Class in MDL
-
MDL program that invokes Violet
- Violet() - Constructor for class MDL.Violet
-
- Violet2OOSchema - Class in MDL
-
- Violet2OOSchema() - Constructor for class MDL.Violet2OOSchema
-
- Violett - package Violett
-
- vpl2OOSchema - Class in Boot.MDELite
-
- vpl2OOSchema() - Constructor for class Boot.MDELite.vpl2OOSchema
-