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

V

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
 
A B C D E F G H I J K L M N O P Q R S T U V W X Y 
Skip navigation links