Index

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

U

unifyWith(Formula) - Method in class com.articulate.sigma.Formula

Deprecated.

union(List<Set<VariableMapping>>, List<Set<VariableMapping>>) - Static method in class com.articulate.sigma.VariableMapping

units - Variable in class com.articulate.sigma.dataProc.Infrastructure.Mappings

units - Static variable in class com.articulate.sigma.trans.DB2KIF

universalsOut(Formula) - Static method in class com.articulate.sigma.Clausifier

convenience method

univVarsCache - Variable in class com.articulate.sigma.Formula

univVarsCache - Variable in class com.articulate.sigma.FormulaAST

UNKNOWN - Enum constant in enum class com.articulate.sigma.tp.SZSStatus.Category

UNKNOWN - Enum constant in enum class com.articulate.sigma.tp.SZSStatus

UNPROCESSED - Enum constant in enum class com.articulate.sigma.nlg.StackElement.StackState

unquantInConsequent(Formula) - Static method in class com.articulate.sigma.Diagnostics

unquantsInConseq(KB) - Static method in class com.articulate.sigma.Diagnostics

unquantVarsCache - Variable in class com.articulate.sigma.Formula

unquantVarsCache - Variable in class com.articulate.sigma.FormulaAST

UNSATISFIABLE - Enum constant in enum class com.articulate.sigma.tp.SZSStatus

upcaseFirstVisibleChar(String, boolean, String) - Static method in class com.articulate.sigma.nlg.NLGUtils

Capitalizes the first visible char of htmlParaphrase, if possible, and adds the full stop symbol for language at a workable place near the end of htmlParaphrase if addFullStop is true.

updatePassword(Connection) - Method in class com.articulate.sigma.User

Update just the password for this user

updateRole(Connection) - Method in class com.articulate.sigma.User

Update the role for this user

updateWNversion(String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

Port the mappings from one version of WordNet to another.

updateWNversionProcess(String, String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

This is a utility routine that should not be called during normal Sigma operation.

updateWNversionReading(String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

Note that the "old" synset should be the second element of each line

UQUANT - Static variable in class com.articulate.sigma.Formula

url - Variable in class com.articulate.sigma.dataProc.Hotel

User - Class in com.articulate.sigma

A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.

User() - Constructor for class com.articulate.sigma.User

USER - Enum constant in enum class com.articulate.sigma.tp.SZSStatus

userExists(String) - Method in class com.articulate.sigma.PasswordService

userIDs() - Method in class com.articulate.sigma.PasswordService

username - Variable in class com.articulate.sigma.User

UserName - Static variable in class com.articulate.sigma.trans.KIF2DB

UserTerm() - Constructor for class com.articulate.sigma.FormulaAST.UserTerm

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