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

P

p1 - Static variable in class tuffy.test.ClauseTest

p1 - Static variable in class tuffy.test.ParsingLoadingTest

p2 - Static variable in class tuffy.test.ClauseTest

p2 - Static variable in class tuffy.test.ParsingLoadingTest

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

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

parse(ResultSet) - Method in class tuffy.infer.ds.GClause

Initialize GClause from results of SQL.

parse(String) - Static method in class tuffy.util.PlotMan.TCPair

parseCommand(String[]) - Static method in class tuffy.util.UIMan

parseConfigFile(String) - Static method in class tuffy.util.UIMan

parseEvidenceFile(String) - Method in class tuffy.parse.InputParser

parseEvidenceString(String, long) - Method in class tuffy.parse.InputParser

parseProgramFile(String) - Method in class tuffy.parse.InputParser

parseQueryCommaList(String) - Method in class tuffy.mln.MarkovLogicNetwork

Read in the query atoms provided by the command line.

parseQueryCommaList(String) - Method in class tuffy.parse.InputParser

parseQueryFile(String) - Method in class tuffy.parse.InputParser

parser - Variable in class tuffy.mln.MarkovLogicNetwork

Parser of input.

ParsingLoadingTest - Class in tuffy.test

Testing class for parsing and loading.

ParsingLoadingTest() - Constructor for class tuffy.test.ParsingLoadingTest

partBuckets - Variable in class tuffy.infer.InferPartitioned

partID - Variable in class tuffy.infer.MRF

PartInfer - Class in tuffy.main

Partitioning-aware inference.

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

parting - Variable in class tuffy.infer.InferPartitioned

Partition - Class in tuffy.ground.partition

A partition is a subgraph of an MRF component.

Partition() - Constructor for class tuffy.ground.partition.Partition

partition() - Method in class tuffy.infer.InferPartitioned

Partition the MRF produced by the grounding process.

partition_size_bound - Static variable in class tuffy.util.Config

partitionAtoms(double) - Method in class tuffy.ground.partition.Partitioning

Agglomeratively cluster the atoms in the MRF into partitions while heuristically minimizing the (weighted) cut size.

partitionClauses(PartitionScheme) - Method in class tuffy.ground.partition.Partitioning

Given a partitioning scheme, partition the data accordingly.

Partitioning - Class in tuffy.ground.partition

Utilities for partitioning the MRF generated by the grounding process.

Partitioning(Grounding) - Constructor for class tuffy.ground.partition.Partitioning

Construct a partitioning worker based on the grounding result.

partitionMRF(double) - Method in class tuffy.ground.partition.Partitioning

PartitionScheme - Class in tuffy.ground.partition

A partitioning scheme on an MRF.

PartitionScheme(ArrayList<Component>) - Constructor for class tuffy.ground.partition.PartitionScheme

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

parts - Variable in class tuffy.ground.partition.Bucket

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

path_conf - Static variable in class tuffy.util.Config

pathConf - Variable in class tuffy.parse.CommandOptions

Misc

pause() - Static method in class tuffy.util.DebugMan

peakMem - Static variable in class tuffy.util.DebugMan

perAtomWeight() - Method in class tuffy.ground.partition.Partitioning

perClauseSharedWeight(int) - Method in class tuffy.ground.partition.Partitioning

performMCSatStep(int) - Method in class tuffy.infer.MRF

Perform one sample of MC-SAT

PERIOD - Static variable in class tuffy.parse.MLNLexer

PERIOD - Static variable in class tuffy.parse.MLNParser

pgfun_ - Variable in class tuffy.ra.Function

PGInfer - Class in tuffy.infer

Deprecated.

PGInfer(Grounding) - Constructor for class tuffy.infer.PGInfer

Deprecated.

pid - Variable in class tuffy.infer.ds.GAtom

ID of the partition containing this atom

PlotMan - Class in tuffy.util

PlotMan() - Constructor for class tuffy.util.PlotMan

PlotMan.TCPair - Class in tuffy.util

PlotMan.TCPair(double, double) - Constructor for class tuffy.util.PlotMan.TCPair

PLUS - Static variable in class tuffy.parse.MLNLexer

PLUS - Static variable in class tuffy.parse.MLNParser

pmap - Variable in class tuffy.ground.partition.Bucket

pmap - Variable in class tuffy.infer.InferPartitioned

points - Static variable in class tuffy.util.Timer

populateAtomTable(String) - Method in class tuffy.ground.Grounding

positiveWeightSatisfication - Variable in class tuffy.learn.Learner

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

positiveWeightViolation - Variable in class tuffy.learn.Learner

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

postprocRules - Variable in class tuffy.mln.MarkovLogicNetwork

Power - Static variable in class tuffy.ra.Function

pred - Variable in class tuffy.ground.KBMC.AtomCutSet

Predicate of this AtomCutSet.

pred - Variable in class tuffy.mln.Atom

The predicate of this Atom.

pred - Variable in class tuffy.mln.Literal

Predicate object associated with this literal.

pred - Variable in class tuffy.ra.AtomEx

predArg() - Method in class tuffy.parse.MLNParser

Predicate - Class in tuffy.mln

Predicate in First Order Logic.

Predicate(MarkovLogicNetwork, String, boolean) - Constructor for class tuffy.mln.Predicate

Constructor of Predicate.

Predicate.FunctionalDependency - Class in tuffy.mln

TODO: look into the implications of FDs

Predicate.FunctionalDependency() - Constructor for class tuffy.mln.Predicate.FunctionalDependency

PredicateTest - Class in tuffy.test

Testing class for Predicate object.

PredicateTest() - Constructor for class tuffy.test.PredicateTest

predIndex - Variable in class tuffy.mln.Clause

The index of predicate to set of literals referencing that predicate.

prepareDB(RDB) - Method in class tuffy.mln.MarkovLogicNetwork

Prepare the database for each predicate and clause.

prepareDB(RDB) - Method in class tuffy.mln.Predicate

Initialize database objects for this predicate.

prepareForDB(RDB) - Method in class tuffy.mln.Clause

Initialize database objects for this clause.

prevas - Variable in class tuffy.ra.ConjunctiveQuery.StringSet

print(String...) - Static method in class tuffy.util.UIMan

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

Prints the elapsed time since last clock reset.

printElapsed(String) - Static method in class tuffy.util.Timer

Prints the elapsed time of the timer with the given name.

println(String...) - Static method in class tuffy.util.UIMan

prior - Variable in class tuffy.mln.Atom

Probability of "soft evidence".

prob - Variable in class tuffy.infer.ds.GAtom

ProbMan - Class in tuffy.util

ProbMan() - Constructor for class tuffy.util.ProbMan

processOptions(CommandOptions) - Static method in class tuffy.util.UIMan

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

procSweep - Variable in class tuffy.infer.PGInfer

Deprecated.

procTail() - Static method in class tuffy.db.SQLMan

procWalk - Variable in class tuffy.infer.PGInfer

Deprecated.

product_line - Static variable in class tuffy.util.Config

product_name - Static variable in class tuffy.util.Config

prorate(int, double) - Static method in class tuffy.util.MathMan

psMap - Variable in class tuffy.ra.ConjunctiveQuery

Maps from binding patterns to corresponding prepared statements.

pullAtomReps(MRF) - Static method in class tuffy.helper.Stats

pushGAtom(Integer, GAtom) - Method in class tuffy.infer.ds.KeyBlock

put(String, Object) - Method in class tuffy.util.Settings