V-Index (Sigma API Specification)

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

V

V_PREF - Static variable in class com.articulate.sigma.Formula
valences - Variable in class com.articulate.sigma.KBcache
validArgs() - Method in class com.articulate.sigma.Formula: Test whether the Formula uses logical operators and predicates with the correct number of arguments.
validArgs() - Method in class com.articulate.sigma.FormulaAST: Test whether the Formula uses logical operators and predicates with the correct number of arguments.
validArgs(String, Integer) - Method in class com.articulate.sigma.Formula: Test whether the Formula uses logical operators and predicates with the correct number of arguments.
validArgs(String, Integer) - Method in class com.articulate.sigma.FormulaAST: Test whether the Formula uses logical operators and predicates with the correct number of arguments.
validateIncludesInTPTPFiles(List<String>, String) - Static method in class com.articulate.sigma.trans.TPTPutil
validatePictureList() - Static method in class com.articulate.sigma.KButilities
validateUser(String, String) - Static method in class com.articulate.sigma.Login: Trivial case for now that allows only "admin" userId and everything else is given read-only privileges.
valueOf(String) - Static method in enum class com.articulate.sigma.CCheckManager.CCheckStatus: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.KBmanager.Prover: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.nlg.CaseRole: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.nlg.StackElement.StackState: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.nlg.SVOElement.NUMBER: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.nlg.VerbProperties.Polarity: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.tp.GenPropFormulas.SZSonto: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.tp.SZSStatus.Category: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.tp.SZSStatus: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.tp.Vampire.Logic: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.tp.Vampire.ModeType: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class com.articulate.sigma.trans.TPTP3ProofProcessor.GraphFormulaFormat: Returns the enum constant of this class with the specified name.
values - Variable in class com.articulate.sigma.dataProc.Hotel
values() - Static method in enum class com.articulate.sigma.CCheckManager.CCheckStatus: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.KBmanager.Prover: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.nlg.CaseRole: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.nlg.StackElement.StackState: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.nlg.SVOElement.NUMBER: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.nlg.VerbProperties.Polarity: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.tp.GenPropFormulas.SZSonto: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.tp.SZSStatus.Category: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.tp.SZSStatus: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.tp.Vampire.Logic: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.tp.Vampire.ModeType: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class com.articulate.sigma.trans.TPTP3ProofProcessor.GraphFormulaFormat: Returns an array containing the constants of this enum class, in the order they are declared.
vamp - Variable in class com.articulate.sigma.tp.GenPropFormulas
Vampire - Class in com.articulate.sigma.tp: Class for invoking the latest research version of Vampire from Java A previous version invoked the KIF version of Vampire from Java but that's 15 years old now.
Vampire() - Constructor for class com.articulate.sigma.tp.Vampire
VAMPIRE - Enum constant in enum class com.articulate.sigma.KBmanager.Prover
Vampire.Logic - Enum Class in com.articulate.sigma.tp
Vampire.ModeType - Enum Class in com.articulate.sigma.tp
Variable() - Constructor for class com.articulate.sigma.FormulaAST.Variable
VariableAnnotation() - Constructor for class com.articulate.sigma.nlg.LanguageFormatter.VariableAnnotation
variableArity(KB, String) - Static method in class com.articulate.sigma.trans.THFnew
variableArityType(String) - Method in class com.articulate.sigma.KBcache
VariableMapping - Class in com.articulate.sigma
VariableMapping(String, String) - Constructor for class com.articulate.sigma.VariableMapping
variableReplace(String, Map<String, Set<String>>, Map<String, Set<String>>, KB, String) - Static method in class com.articulate.sigma.nlg.LanguageFormatter: Replace variables in a formula with paraphrases expressing their type.
varLinksParentMap - Static variable in class com.articulate.sigma.Diagnostics
varmap - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform
varTypeCache - Variable in class com.articulate.sigma.Formula
varTypes - Variable in class com.articulate.sigma.parsing.FormulaAST
VarTypes - Class in com.articulate.sigma.parsing: Determine the types of variables by their appearance in relations, as well as whether constants or functions are allowed given their types
VarTypes(Collection<FormulaAST>, KB) - Constructor for class com.articulate.sigma.parsing.VarTypes
vcnfcmds - Static variable in class com.articulate.sigma.tp.GenPropFormulas
Verb - Class in com.articulate.sigma.VerbNet: This code is copyright Infosys 2019.
Verb() - Constructor for class com.articulate.sigma.VerbNet.Verb
VERB - Static variable in class com.articulate.sigma.wordNet.WordNet
Verb.Member - Class in com.articulate.sigma.VerbNet
Verb.Role - Class in com.articulate.sigma.VerbNet
verbcount - Static variable in class com.articulate.sigma.VerbNet.VerbNet
verbDocumentationHash - Variable in class com.articulate.sigma.wordNet.WordNet
verbFrameNum(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get the number of the verb frame
verbFrames - Variable in class com.articulate.sigma.wordNet.WordNet: A HashMap where keys are 8 digit WordNet synset byte offsets or synsets appended with a dash and a specific word such as "12345678-foo" or in the case where the frame applies to the entire synset, it's just the synset number.
VerbFrames - Static variable in class com.articulate.sigma.wordNet.WordNet
VerbNet - Class in com.articulate.sigma.VerbNet: Created by apease on 7/23/18.
VerbNet() - Constructor for class com.articulate.sigma.VerbNet.VerbNet
verbPlural(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Return the plural form of the verb.
VerbProperties - Interface in com.articulate.sigma.nlg: An interface for obtaining verb behavior in specific situations, e.g.
VerbProperties.Polarity - Enum Class in com.articulate.sigma.nlg
VerbPropertiesSimpleImpl - Class in com.articulate.sigma.nlg: A first-blush attempt at implementing the VerbProperties interface.
VerbPropertiesSimpleImpl() - Constructor for class com.articulate.sigma.nlg.VerbPropertiesSimpleImpl
verbRootForm(String, String) - Method in class com.articulate.sigma.wordNet.WordNet: Return the present tense singular form of the verb, or null if it's not in the lexicon.
verbRootToThirdPersonSingular(String) - Static method in class com.articulate.sigma.nlg.SumoProcess
verbs - Static variable in class com.articulate.sigma.VerbNet.VerbNet
verbSUMOHash - Variable in class com.articulate.sigma.wordNet.WordNet
verbSynsetFromTermFormat(String, String, KB) - Method in class com.articulate.sigma.wordNet.WordNet: Generate a new verb synset from a termFormat
verbSynsetHash - Variable in class com.articulate.sigma.wordNet.WordNet
visitAndsent(SuokifParser.AndsentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: andsent : '(' 'and' sentence sentence+ ')' ;
visitAndsent(SuokifParser.AndsentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: andsent : '(' 'and' sentence sentence+ ')' ;
visitArgument(SuokifParser.ArgumentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: argument : (sentence | term) ;
visitArgument(SuokifParser.ArgumentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: argument : (sentence | term) ;
visitComment(SuokifParser.CommentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor
visitComment(SuokifParser.CommentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter
visitEqsent(SuokifParser.EqsentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: eqsent : '(' 'equal' term term ')' ; argument : (sentence | term) ; term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ;
visitEqsent(SuokifParser.EqsentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: eqsent : '(' 'equal' term term ')' ; argument : (sentence | term) ; term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ;
visitExists(SuokifParser.ExistsContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: exists : '(' 'exists' '(' variable+ ')' sentence ')' ;
visitExists(SuokifParser.ExistsContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: exists : '(' 'exists' '(' variable+ ')' sentence ')' ;
visitFile(SuokifParser.FileContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: file : (sentence | comment)+ EOF ; Fill maps that represent each statement or comment in the same order as the file.
visitFile(SuokifParser.FileContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: file : (sentence | comment)+ EOF ;
visitForall(SuokifParser.ForallContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: forall : '(' 'forall' '(' variable+ ')' sentence ')' ;
visitForall(SuokifParser.ForallContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: forall : '(' 'forall' '(' variable+ ')' sentence ')' ;
visitFunterm(SuokifParser.FuntermContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: funterm : '(' FUNWORD argument+ ')' ;
visitFunterm(SuokifParser.FuntermContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: funterm : '(' FUNWORD argument+ ')' ;
visitIff(SuokifParser.IffContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: iff : '(' 'invalid input: '<'=>' sentence sentence ')' ;
visitIff(SuokifParser.IffContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: iff : '(' 'invalid input: '<'=>' sentence sentence ')' ;
visitImplies(SuokifParser.ImpliesContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: implies : '(' '=>' sentence sentence ')' ;
visitImplies(SuokifParser.ImpliesContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: implies : '(' '=>' sentence sentence ')' ;
visitLogsent(SuokifParser.LogsentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: logsent : (notsent | andsent | orsent | xorsent | implies | iff | eqsent) ;
visitLogsent(SuokifParser.LogsentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: logsent : (notsent | andsent | orsent | implies | iff | eqsent) ;
visitNotsent(SuokifParser.NotsentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: notsent : '(' 'not' sentence ')' ;
visitNotsent(SuokifParser.NotsentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: notsent : '(' 'not' sentence ')' ;
visitNumber(SuokifParser.NumberContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor
visitNumber(SuokifParser.NumberContext) - Method in class com.articulate.sigma.parsing.TPTPWriter
visitOrsent(SuokifParser.OrsentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: orsent : '(' 'or' sentence sentence+ ')' ;
visitOrsent(SuokifParser.OrsentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: orsent : '(' 'or' sentence sentence+ ')' ;
visitQuantsent(SuokifParser.QuantsentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: quantsent : (forall | exists) ;
visitQuantsent(SuokifParser.QuantsentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: quantsent : (forall | exists) ;
visitRelsent(SuokifParser.RelsentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: relsent : ('(' IDENTIFIER argument+ ')') | ('(' variable argument+ ')') ; argument : (sentence | term) ; term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ; Set the types of any variables that appear in an instance or subclass declaration
visitRelsent(SuokifParser.RelsentContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: relsent : ('(' IDENTIFIER argument+ ')') | ('(' variable argument+ ')') ; argument : (sentence | term) ; term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ; Set the types of any variables that appear in an instance or subclass declaration
visitSentence(SuokifParser.SentenceContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: sentence : (relsent | logsent | quantsent | variable) ;
visitSentence(SuokifParser.SentenceContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: sentence : (relsent | logsent | quantsent | variable) ;
visitString(SuokifParser.StringContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor
visitString(SuokifParser.StringContext) - Method in class com.articulate.sigma.parsing.TPTPWriter
visitTerm(SuokifParser.TermContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ;
visitTerm(SuokifParser.TermContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ;
visitVariable(SuokifParser.VariableContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: variable : (REGVAR | ROWVAR) ;
visitVariable(SuokifParser.VariableContext) - Method in class com.articulate.sigma.parsing.TPTPWriter: variable : (REGVAR | ROWVAR) ;
visitXorsent(SuokifParser.XorsentContext) - Method in class com.articulate.sigma.parsing.SuokifVisitor: xorsent : '(' 'xor' sentence sentence+ ')' ;
VVAR - Static variable in class com.articulate.sigma.Formula
VX - Static variable in class com.articulate.sigma.Formula

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form