A B C D E F G H I J L M P R S T V

C

calculate(TransitionSystem, Term[]) - Static method in class jildt.tilde.math.Entropy

calculate(TransitionSystem, Term[]) - Static method in class jildt.tilde.math.GainRatio

calculate(TransitionSystem, Term[]) - Static method in class jildt.tilde.math.InformationGain

canBeUsedInContext() - Method in class jildt.setContext

canBeUsedInContext() - Method in class jildt.tilde.execTilde

candsByTerm(Term, HashSet<Term>) - Method in class jildt.tilde.execTilde

Generates a list of candidates based on a Term.

checkArity(int) - Method in class jildt.tilde.math.Entropy

checkArity(int) - Method in class jildt.tilde.math.GainRatio

checkArity(int) - Method in class jildt.tilde.math.InformationGain

cleanTerm(Term) - Static method in class jildt.Functions

Cleans a Term from anonymous variables to variables. e.g., if the term clear(_89X), is given, the function will return the term clear(X).

collectBoundedVars(Term, HashSet<Term>) - Static method in class jildt.Functions

Find the bounded variables in a query.

contains(Literal) - Method in class jildt.bb.BelieveEntry

contains(Integer) - Method in class jildt.bb.BelieveEntry

contains(Literal) - Method in class jildt.bb.LearningBeliefBase