A B C D E F G H I J K L M N O P Q R S T U V W Z _

N

NaiveDNLearner - Class in tuffy.learn

Deprecated.

NaiveDNLearner() - Constructor for class tuffy.learn.NaiveDNLearner

Deprecated.

NaiveGDLearner - Class in tuffy.learn

DO NOT USE THIS CLASS! USE DNLearner.

NaiveGDLearner() - Constructor for class tuffy.learn.NaiveGDLearner

name - Variable in class tuffy.mln.Clause

name of this clause.

name - Variable in class tuffy.mln.Predicate

Name of this predicate.

name - Variable in class tuffy.mln.Type

Name of this Type.

name() - Method in class tuffy.mln.Type

Return the name of this type.

name - Variable in class tuffy.util.UnionFind.Record

name_ - Variable in class tuffy.ra.Function

Name of this function.

nameMapFunc - Variable in class tuffy.mln.MarkovLogicNetwork

nameMapPred - Variable in class tuffy.mln.MarkovLogicNetwork

Map from string name to Predicate object.

nameMapType - Variable in class tuffy.mln.MarkovLogicNetwork

Map from string name to Type object.

nCall - Variable in class tuffy.learn.DNLearner

Number of invocations of DNLearner#updateWeight(MCSAT).

nCall - Variable in class tuffy.learn.NaiveDNLearner

Deprecated.

nClauseVioTallies - Variable in class tuffy.infer.MRF

Number of iterations of tallies.

nClusters - Variable in class tuffy.util.UnionFind

ncomp - Variable in class tuffy.ground.partition.PartitionScheme

Stats.

nDIteration - Variable in class tuffy.parse.CommandOptions

needEnclosure() - Method in class tuffy.ra.Expression

For aesthetics, check if we need a pair of parenthses for this experession.

negativeWeightSatisfication - Variable in class tuffy.learn.Learner

Map from clause name to training data satisfaction of negative weight.

negativeWeightViolation - Variable in class tuffy.learn.Learner

Map from clause name to training data violation of negative weight.

negSelCond(String) - Static method in class tuffy.db.SQLMan

Neq - Static variable in class tuffy.ra.Function

newTuplePrior - Variable in class tuffy.ra.ConjunctiveQuery

nextBoolean() - Static method in class tuffy.util.ProbMan

nextDouble() - Static method in class tuffy.util.ProbMan

noNeedToGround() - Method in class tuffy.mln.Predicate

Check if we need to ground this predicate on top of its evidence.

NonPartInfer - Class in tuffy.main

Non-parition-aware inference.

NonPartInfer() - Constructor for class tuffy.main.NonPartInfer

nonSymbolicType - Variable in class tuffy.mln.Type

normalize() - Method in class tuffy.mln.Clause

Return a normalized version of this clause.

normalizeClauses() - Method in class tuffy.mln.MarkovLogicNetwork

Normalize all clauses.

NOT - Static variable in class tuffy.parse.MLNLexer

NOT - Static variable in class tuffy.parse.MLNParser

not(Expression) - Static method in class tuffy.ra.Expression

Boolean negation

NOT - Static variable in class tuffy.ra.Function

now() - Static method in class tuffy.util.Timer

npart - Variable in class tuffy.ground.partition.PartitionScheme

nsat - Variable in class tuffy.infer.ds.GClause

Number of satisfied literals in this GClause.

num_tries_per_periodic_flush - Static variable in class tuffy.util.Config

numAtoms - Variable in class tuffy.ground.Grounding

Number of active atoms.

numAtoms - Variable in class tuffy.ground.partition.Component

numAtoms - Variable in class tuffy.ground.partition.Partition

numAtoms - Variable in class tuffy.ground.partition.PartitionScheme

NUMBER - Static variable in class tuffy.parse.MLNLexer

NUMBER - Static variable in class tuffy.parse.MLNParser

numClauses - Variable in class tuffy.ground.Grounding

Number of active clauses.

numClauses - Variable in class tuffy.ground.partition.Component

numClauses - Variable in class tuffy.ground.partition.PartitionScheme

numClauses - Variable in class tuffy.infer.PGInfer

Deprecated.

numClausesInCut - Variable in class tuffy.infer.MRF

numComponents() - Method in class tuffy.ground.partition.PartitionScheme

numCriticalNodesLocal - Variable in class tuffy.infer.MRF

numCutClauses - Variable in class tuffy.ground.partition.Component

numCutClauses - Variable in class tuffy.ground.partition.PartitionScheme

numIncidentClauses - Variable in class tuffy.ground.partition.Partition

numParts() - Method in class tuffy.ground.partition.Component

Get the number of partitions in this component.

numParts() - Method in class tuffy.ground.partition.PartitionScheme

numPins - Variable in class tuffy.ground.partition.Component

numSplitComps - Variable in class tuffy.ground.partition.PartitionScheme

numThreads - Variable in class tuffy.infer.InferBucket

numVars - Variable in class tuffy.infer.PGInfer

Deprecated.