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

A

abbreviation(String) - Static method in class common.Util
Given a string description, returns description if its length is no greater than 10, or description + "..." otherwise.
AbstractCondProbDistrib - Class in blog
Abstract implementation of the CondProbDistrib interface.
AbstractCondProbDistrib() - Constructor for class blog.AbstractCondProbDistrib
 
AbstractDGraph - Class in common
Abstract implementation of the DGraph interface.
AbstractDGraph() - Constructor for class common.AbstractDGraph
 
AbstractFunctionInterp - Class in blog
Abstract implementation of FunctionInterp including a getInverseTuples method that always returns null.
AbstractFunctionInterp() - Constructor for class blog.AbstractFunctionInterp
 
AbstractMapWithPreimages - Class in common
Abstract implementation of the MapWithPreimages interface.
AbstractMapWithPreimages() - Constructor for class common.AbstractMapWithPreimages
 
AbstractMultiset - Class in common
Abstract implementation of the Multiset class.
AbstractMultiset() - Constructor for class common.AbstractMultiset
 
AbstractMultiset.Entry - Class in common
Abstract implementation of the Multiset.Entry interface.
AbstractMultiset.Entry() - Constructor for class common.AbstractMultiset.Entry
 
AbstractObjectIterator - Class in blog
Abstract implementation of the ObjectIterator interface.
AbstractObjectIterator() - Constructor for class blog.AbstractObjectIterator
 
AbstractObjectSet - Class in blog
Abstract implementation of the ObjectSet interface.
AbstractObjectSet() - Constructor for class blog.AbstractObjectSet
 
AbstractOption - Class in common.cmdline
Abstract implementation of the Option interface that takes care of some bookkeeping and error checking.
AbstractOption(String, String) - Constructor for class common.cmdline.AbstractOption
Creates an option.
AbstractPartialWorld - Class in blog
An implementation of the PartialWorld interface that just requires concrete subclasses to initialize some protected variables.
AbstractPartialWorld(Set) - Constructor for class blog.AbstractPartialWorld
Creates a new partial world.
AbstractQuery - Class in blog
An implementation of Query that defines default implementations to some methods.
AbstractQuery() - Constructor for class blog.AbstractQuery
 
AbstractTupleIterator - Class in common
An iterator over the set of tuples (x1, ..., xk) such that x1 is in S1, x2 is in S2(x1), etc., and xk is in Sk(x1, ..., x(k-1)).
AbstractTupleIterator(int) - Constructor for class common.AbstractTupleIterator
Creates a new AbstractTupleIterator for tuples of length k.
acceptProbTimer - Variable in class blog.MHSampler
 
action_obj - Variable in class blog.BLOGParser
Instance of action encapsulation class.
action_table() - Method in class blog.BLOGParser
Access to parse-action table.
add(List) - Method in class blog.distrib.ListInterp
Adds the given argument tuple to the list of tuples on which the function returns true.
add(Evidence) - Method in class blog.GenericProposer
Adds extra evidence to the evidence the proposer must consider.
add(LogicalVar, Term) - Method in class blog.Substitution
Adds the given mapping to this substitution, replacing any existing mapping for var.
add(Object, double) - Method in class common.BinaryHeap
Adds an entry to this heap for the given object and cost.
add(double) - Method in class common.DenseVector
Adds the given value at the next index after the last explicitly set index.
add(Object) - Method in class common.ExtensibleLinkedList
Adds the given object to the end of this list.
add(Object, double) - Method in class common.FibHeap
 
add(Object, Object) - Method in class common.HashMultiMap
 
add(Object) - Method in class common.HashMultiMap.ValueSet
 
add(Object, Object) - Method in class common.HashMultiMapDiff
 
add(Object) - Method in class common.HashMultiMapDiff.ValueSet
 
add(Object) - Method in class common.HashMultiset
Adds a single copy of the given element to this multiset.
add(Object) - Method in class common.HashSetDiff
 
add(Object, double) - Method in interface common.Heap
Adds an entry to this heap for the given object and cost.
add(Object) - Method in class common.IndexedHashSet
Adds the given object to this IndexedSet, with an index equal to the previous size of the set.
add(Object) - Method in class common.IndexedHashSetDiff
Adds the given object to this IndexedSet, with an index equal to the previous size of the set.
add(Object) - Method in class common.IndexedTreeSet
 
add(Object) - Method in class common.IndexedTreeSetDiff
 
add(Object, Object) - Method in interface common.MultiMap
Adds the given value to the set associated with the given key.
add(Object, Object) - Method in class common.MultiMap.EmptyMultiMap
 
add(Object) - Method in class common.WeakHashSet
 
addAll(Evidence) - Method in class blog.Evidence
Adds all symbol and value evidence statements from another evidence object.
addAll(Object, Set) - Method in class common.HashMultiMap
 
addAll(Object, Set) - Method in class common.HashMultiMapDiff
 
addAll(Object, Set) - Method in interface common.MultiMap
Adds all elements of the given set to the set associated with the given key.
addAll(Object, Set) - Method in class common.MultiMap.EmptyMultiMap
 
addDerivedVar(DerivedVar) - Method in class blog.AbstractPartialWorld
 
addDerivedVar(DerivedVar) - Method in interface blog.PartialWorld
Adds the given derived variable to this world's Bayes net, and sets its parents appropriately.
addDiffListener(WorldDiffListener) - Method in class blog.PartialWorldDiff
Adds the given object to the list of listeners that will be notified when this PartialWorldDiff is saved or reverted.
addEdge(Object, Object) - Method in class common.AbstractDGraph
Throws an UnsupportedOperationException.
addEdge(Object, Object) - Method in class common.DefaultDGraph
 
addEdge(Object, Object) - Method in interface common.DGraph
Adds to the graph an edge from parent to child.
addEdge(Object, Object) - Method in class common.ParentUpdateDGraph
 
AddedTupleIterator - Class in common
Class for iterating over tuples that are added to the Cartesian product A_1 x A_2 x ...
AddedTupleIterator(List, List) - Constructor for class common.AddedTupleIterator
Creates a new iterator over tuples that are added to the Cartesian product when the collections in orig are augmented with the corresponding collections in added.
addEnumeratedObject(String, Type) - Method in class blog.Model
Adds to the model a non-random constant with the given name, denoting a new enumerated object of the given type.
addFunction(Function) - Method in class blog.Model
Adds the given user-defined function to this model.
addGuaranteedObject(NonRandomFunction) - Method in class blog.Type
Adds a new guaranteed object with the given canonical constant symbol.
addIdentifierForPOPApp(NumberVar) - Method in class blog.AbstractPartialWorld
 
addIdentifierForPOPApp(NumberVar) - Method in interface blog.PartialWorld
Returns a new object identifier that is asserted to satisfy the given POP application in this world, and to be distinct from all other object identifiers in this world's common ground.
addIndividual(Object, NumberVar) - Method in class blog.POPAppBasedSet
Adds the given individual to this set, asserting that the individual satisfies the POP application governed by the given number variable (or no POP application if the number variable is null).
addJump(int, int, double) - Method in class blog.distrib.StringEditModelWithJumps
Allows a jump from before character origin to before character dest, with probability prob.
addListener(WorldListener) - Method in class blog.AbstractPartialWorld
 
addListener(WorldListener) - Method in interface blog.PartialWorld
Adds the given listener to a list of listeners to be notified when changes are made to this partial world.
addNode(Object) - Method in class common.AbstractDGraph
Throws an UnsupportedOperationException.
addNode(Object) - Method in class common.DefaultDGraph
 
addNode(Object) - Method in interface common.DGraph
Adds the given object as a node in the graph.
addNode(Object) - Method in class common.ParentUpdateDGraph
Adds the given node to the graph with an empty parent set.
addOption(Option) - Static method in class common.cmdline.Parser
Adds the given option to the set that this parser will recognize.
addOriginFunction(OriginFunction) - Method in class blog.Type
Adds the given function as a origin function for this type.
addParfactor(Parfactor) - Method in class blog.Model
Adds the given parfactor to this model.
addPOP(POP) - Method in class blog.Type
Adds the given POP to the set of POPs for this type.
addQueries(List) - Method in class blog.GenericProposer
Adds extra queries to the ones the proposer must consider.
addReference(Long) - Method in class common.DefaultReferenceHistogram
Adds to this histogram a reference referring to the given object.
addReplacement(int, int, String) - Method in class common.SubstringReplacer
Adds an operation to replace the substring [begin, end) of the original string with the given replacement string.
addSatisfiers(NumberVar, ObjectSet, Set) - Method in class blog.POPAppBasedSet
Adds the given POP application satisfier set as a subset of this set, with the given exceptions.
addSymbolEvidence(SymbolEvidenceStatement) - Method in class blog.Evidence
 
addType(String) - Method in class blog.Model
Creates a new user-defined type with the given name and adds it to this model.
addValueEvidence(ValueEvidenceStatement) - Method in class blog.Evidence
 
ALL_OBJECTS - Static variable in class blog.Formula
Special value returned by getSatisfiersIfExplicit and getNonSatisfiersIfExplicit to indicate that the set of satisfiers or non-satisfiers consists of all objects of the appropriate type.
AND - Static variable in class blog.BLOGTokenConstants
 
answer(Collection) - Method in class blog.ParticleFilter
 
answerQueries() - Method in class blog.InferenceEngine
Computes the answers to the specified queries given the specified evidence.
answerQueries(Collection) - Method in class blog.Particle
Takes a collection of queries and answers them based on current world.
answerQueries() - Method in class blog.ParticleFilter
Answers the queries provided at construction time.
answerQueries() - Method in class blog.SamplingEngine
 
appliesTo(Type[]) - Method in class blog.Function
Returns true if this function applies to all tuples of objects with the given types.
args - Variable in class blog.BasicVar
 
args() - Method in class blog.BasicVar
Returns the tuple of arguments if this is a function application variable, or the tuple of generating objects if this is a number variable.
args - Variable in class blog.BLOGParser.CPDSpec
 
args - Variable in class blog.BLOGParser.PotentialSpec
 
ArgSpec - Class in blog
Represents an abstract argument specification.
ArgSpec() - Constructor for class blog.ArgSpec
 
argSpec - Variable in class blog.ArgSpecQuery
 
argSpec() - Method in class blog.ArgSpecQuery
 
argSpec - Variable in class blog.DerivedVar
 
ArgSpecQuery - Class in blog
 
ArgSpecQuery(ArgSpec) - Constructor for class blog.ArgSpecQuery
 
argTypes - Variable in class blog.Function.Sig
 
assertedIdToPOPApp - Variable in class blog.AbstractPartialWorld
Map from asserted ObjectIdentifiers to the NumberVars that they satisfy.
assertedIdToPOPAppMap() - Method in class blog.AbstractPartialWorld
 
assertedIdToPOPAppMap() - Method in interface blog.PartialWorld
Map from asserted ObjectIdentifiers to the POP applications (NumberVars) that they satisfy.
assertIdentifier(ObjectIdentifier, NumberVar) - Method in class blog.AbstractPartialWorld
 
assertIdentifier(ObjectIdentifier) - Method in class blog.AbstractPartialWorld
 
assertIdentifier(ObjectIdentifier, NumberVar) - Method in interface blog.PartialWorld
Asserts that the given object identifier satisfies the given POP application.
assertIdentifier(ObjectIdentifier) - Method in interface blog.PartialWorld
Asserts that the given object identifier satisfies the POP application that it satisfies in this world's common ground.
assertsNull(Term) - Method in class blog.EqualityFormula
Returns true if this equality formula asserts that subject has the same denotation as the constant "null".
assign(LogicalVar, Object) - Method in class blog.DefaultEvalContext
 
assign(LogicalVar, Object) - Method in interface blog.EvalContext
Assigns the given value to the given logical variable, overwriting any previous value.
assignTuple(LogicalVar[], Object[]) - Method in class blog.DefaultEvalContext
 
assignTuple(LogicalVar[], Object[]) - Method in interface blog.EvalContext
Assigns values to a tuple of logical variables.
at(int) - Static method in class blog.Timestep
 
AtomicFormula - Class in blog
A Formula consisting of a single boolean-valued term.
AtomicFormula(Term) - Constructor for class blog.AtomicFormula
 

B

BasicVar - Class in blog
A basic random variable in a BLOG model.
BasicVar(Object[]) - Constructor for class blog.BasicVar
Creates a new BasicVar with the given tuple of arguments or generating objects.
BasicVar(Object[], boolean) - Constructor for class blog.BasicVar
Creates a new BasicVar with the given tuple of arguments or generating objects.
BasicVar(List) - Constructor for class blog.BasicVar
Creates a new BasicVar with the given tuple of arguments or generating objects.
basicVarToValue - Variable in class blog.AbstractPartialWorld
Map from instantiated basic variables to their values.
basicVarToValueMap() - Method in class blog.AbstractPartialWorld
 
basicVarToValueMap() - Method in interface blog.PartialWorld
Map from instantiated BasicVars to their values.
bayesNet - Variable in class blog.AbstractPartialWorld
Bayes net containing instantiated basic variables, origin variables, and those derived variables that have been explicitly added.
BayesNetVar - Interface in blog
A random variable that serves as a node in a Bayes net (directed graphical model).
Bernoulli - Class in blog.distrib
A distribution over Boolean values.
Bernoulli(double) - Constructor for class blog.distrib.Bernoulli
Creates a new Bernoulli distribution with the probability of true set to pi.
Bernoulli(List) - Constructor for class blog.distrib.Bernoulli
Creates a new Bernoulli distribution.
Bernoulli - Class in common
A distribution over {true, false}.
Bernoulli() - Constructor for class common.Bernoulli
Creates a Bernoulli object with the probability of true set to 0.5.
Bernoulli(double) - Constructor for class common.Bernoulli
Creates a Bernoulli object with the probability of true set to p.
Beta - Class in blog.distrib
A Beta distribution with shape parameters a and b, defined by f(x) =(x^(a-1) * (1-x)^(b-1)) / B(a,b) where B(a,b) is a normalization constant equal to integral from 0 to 1 of x^(a-1) * (1-x)^(b-1) dx
Beta(List) - Constructor for class blog.distrib.Beta
Returns a new Beta with shape parameters a and b.
beta(double, double) - Static method in class blog.distrib.Beta
Returns the Beta function of reals a and b B(a,b) = Gamma(a)Gamma(b) / Gamma(a+b) Reference: Numerical Recipes in C http://www.library.cornell.edu/nr/cbookcpdf.html
BinaryBernoulliDistrib - Class in blog.distrib
A distribution over {0,1}.
BinaryBernoulliDistrib(List) - Constructor for class blog.distrib.BinaryBernoulliDistrib
 
BinaryHeap - Class in common
A binary heap data structure, as described in Cormen, Leiserson & Rivest (1990) Chapter 7.
BinaryHeap() - Constructor for class common.BinaryHeap
Creates a new, empty BinaryHeap.
BinarySequenceDistrib - Class in common
A distribution over sequences of independent, identically distributed binary variables.
BinarySequenceDistrib() - Constructor for class common.BinarySequenceDistrib
Creates a BinarySequenceDistrib object with the probability of any element being true set to 0.5.
BinarySequenceDistrib(double) - Constructor for class common.BinarySequenceDistrib
Creates a BinarySequenceDistrib object with the probability of any element being true set to p.
Binomial - Class in blog.distrib
A Binomial distribution with parameters n (number of trials) and p (probability of success for a given trial).
Binomial(int, double) - Constructor for class blog.distrib.Binomial
Creates a new Binomial distribution with parameters n and p.
Binomial(List) - Constructor for class blog.distrib.Binomial
Creates a new Binomial distribution.
BipartiteMatcher - Class in common
An engine for finding the maximum-weight matching in a complete bipartite graph.
BipartiteMatcher() - Constructor for class common.BipartiteMatcher
Creates a BipartiteMatcher without specifying the graph size.
BipartiteMatcher(int) - Constructor for class common.BipartiteMatcher
Creates a BipartiteMatcher and prepares it to run on an n x n graph.
blog - package blog
 
blog.distrib - package blog.distrib
 
BLOGLexer - Class in blog
 
BLOGLexer(Reader) - Constructor for class blog.BLOGLexer
 
BLOGLexer(InputStream) - Constructor for class blog.BLOGLexer
 
BLOGParser - Class in blog
CUP v0.10k generated parser.
BLOGParser() - Constructor for class blog.BLOGParser
Default constructor.
BLOGParser(Scanner) - Constructor for class blog.BLOGParser
Constructor which sets the default scanner.
BLOGParser.CPDSpec - Class in blog
Nested class that specifies a CPD with parameters and arguments.
BLOGParser.CPDSpec(Class, List, List) - Constructor for class blog.BLOGParser.CPDSpec
 
BLOGParser.GenObjSpec - Class in blog
Nested class that specifies a origin function and a variable for the generating object.
BLOGParser.GenObjSpec(String, String) - Constructor for class blog.BLOGParser.GenObjSpec
 
BLOGParser.ModelEvidenceQueries - Class in blog
 
BLOGParser.ModelEvidenceQueries() - Constructor for class blog.BLOGParser.ModelEvidenceQueries
 
BLOGParser.ModelEvidenceQueries(Model, Evidence, List) - Constructor for class blog.BLOGParser.ModelEvidenceQueries
 
BLOGParser.PotentialSpec - Class in blog
Nested class that specifies a potential with parameters and arguments.
BLOGParser.PotentialSpec(Class, List, List) - Constructor for class blog.BLOGParser.PotentialSpec
 
BLOGParser.TypedVar - Class in blog
Nested class that specifies a variable name and a type.
BLOGParser.TypedVar(String, Type) - Constructor for class blog.BLOGParser.TypedVar
 
BLOGParser.VarsWithConstraint - Class in blog
Nested class that specifies a list of logical variables and a formula that constrains them.
BLOGParser.VarsWithConstraint() - Constructor for class blog.BLOGParser.VarsWithConstraint
 
BLOGParser.VarsWithConstraint(List) - Constructor for class blog.BLOGParser.VarsWithConstraint
 
BLOGParser.VarsWithConstraint(List, Formula) - Constructor for class blog.BLOGParser.VarsWithConstraint
 
BLOGTokenConstants - Class in blog
CUP generated class containing symbol constants.
BLOGTokenConstants() - Constructor for class blog.BLOGTokenConstants
 
BOOLEAN - Static variable in class blog.BuiltInTypes
Type for the Boolean values "true" and "false".
BooleanOption - Class in common.cmdline
Option that takes Boolean values.
BooleanOption(String, String, boolean, String) - Constructor for class common.cmdline.BooleanOption
Creates a Boolean option and registers it with the Parser class.
BoundedGeometric - Class in blog.distrib
Like a geometric distribution, but with an upper bound B.
BoundedGeometric(List) - Constructor for class blog.distrib.BoundedGeometric
Creates a bounded geometric distribution with the given alpha parameter.
BUILT_IN - Static variable in class blog.BuiltInTypes
Supertype for all built-in types.
BuiltInFunctions - Class in blog
Class with static methods and constants for built-in non-random functions (including built-in constants).
BuiltInTypes - Class in blog
Class with static methods and variables for dealing with the built-in types that exist in every BLOG model.

C

canDetermineContains(Object) - Method in class blog.AbstractObjectSet
 
canDetermineContains(Object) - Method in interface blog.ObjectSet
Returns true if the underlying partial world is complete enough to determine whether the given object is in this set.
canDetermineElements() - Method in class blog.AbstractObjectSet
 
canDetermineElements() - Method in interface blog.ObjectSet
Returns true if the underlying partial world is complete enough to determine all the elements of this set.
canDetermineIsEmpty() - Method in class blog.AbstractObjectSet
 
canDetermineIsEmpty() - Method in interface blog.ObjectSet
Returns true if the underlying partial world is complete enough to determine whether this set is empty.
canDetermineNext - Variable in class blog.AbstractObjectIterator
Should be set to false by findNext when the next object cannot be determined.
canDetermineNext() - Method in class blog.AbstractObjectIterator
 
canDetermineNext() - Method in class blog.DefaultObjectIterator
 
canDetermineNext() - Method in interface blog.ObjectIterator
Returns true if this ObjectIterator is running on a partial world that is complete enough to determine whether there is a next object, and if so, what that object is.
canDetermineSize() - Method in class blog.AbstractObjectSet
 
canDetermineSize() - Method in interface blog.ObjectSet
Returns true if the underlying partial world is complete enough to determine the size of this set.
CardinalitySpec - Class in blog
Argument specifier that refers to the size of an implicitly defined set.
CardinalitySpec(ImplicitSetSpec) - Constructor for class blog.CardinalitySpec
Creates a new CardinalitySpec that counts the elements in the given implicitly defined set.
CartesianProduct - Class in common
An implicit representation of the Cartesian product of a list of lists.
CartesianProduct(List<? extends List<?>>) - Constructor for class common.CartesianProduct
Creates an implicit representation of the Cartesian product of the given lists.
Categorical - Class in blog.distrib
Distribution over a finite set of possible values numbered 0, ..., k-1, parameterized by a vector of probabilities pi0, ..., pik-1 that sum to one.
Categorical(int) - Constructor for class blog.distrib.Categorical
Creates a new Categorical distribution representing the uniform distribution over the given number of values.
Categorical(double[]) - Constructor for class blog.distrib.Categorical
Creates a new Categorical distribution with the given probability vector.
Categorical(double[], int) - Constructor for class blog.distrib.Categorical
Creates a new Categorical distribution with the given probability weights.
Categorical(List) - Constructor for class blog.distrib.Categorical
Creates a new Categorical distribution from the given parameter list.
changeCost(Heap.Entry, double) - Method in class common.BinaryHeap
 
changeCost(Heap.Entry, double) - Method in class common.FibHeap
Throws an UnsupportedOperationException.
changeCost(Heap.Entry, double) - Method in interface common.Heap
Changes the cost for the given entry.
changeReference(Long, Long) - Method in class common.DefaultReferenceHistogram
Takes one of the references in this histogram that refers to oldObj, and makes it refer to newObj instead.
changeUnderlying() - Method in class common.HashMapDiff
 
changeUnderlying() - Method in class common.HashMultiMapDiff
Changes the underlying multi-map to equal this multi-map.
changeUnderlying() - Method in class common.HashSetDiff
 
changeUnderlying() - Method in class common.IndexedHashSetDiff
Changes the underlying IndexedSet so it is equal to this one, and clears the changes in this IndexedSetDiff.
changeUnderlying() - Method in class common.IndexedTreeSetDiff
Changes the underlying IndexedSet so it is equal to this one, and clears the changes in this IndexedSetDiff.
changeUnderlying() - Method in interface common.MapDiff
Changes the underlying map so it is equal to this map.
changeUnderlying() - Method in class common.MapWithPreimagesDiff
 
changeUnderlying() - Method in interface common.MultiMapDiff
Changes the underlying multi-map to equal this multi-map.
changeUnderlying() - Method in class common.ParentUpdateDGraph
Changes the underlying graph so it is equal to this graph.
changeUnderlying() - Method in interface common.SetDiff
Changes the underlying set so it's equal to this set.
CHAR_CONST - Static variable in class blog.BLOGTokenConstants
 
CHARACTER - Static variable in class blog.BuiltInTypes
Type for individual unicode characters.
CharDistrib - Class in blog.distrib
A mixture between a multinomial distribution over a fixed set of characters (called the enumerated characters), and a uniform distribution over all characters (i.e., all unsigned 16-bit numbers).
CharDistrib(char[], double) - Constructor for class blog.distrib.CharDistrib
Creates a new CharDistrib with the given enumerated characters and the given weight on the uniform distribution.
CharDistrib(char[], double[], double) - Constructor for class blog.distrib.CharDistrib
Creates a new CharDistrib with the given enumerated characters, the given distribution over the enumerated characters, and the given weight on the uniform distribution.
CharDistrib(List) - Constructor for class blog.distrib.CharDistrib
Creates a new CharDistrib with the given parameters.
charDistrib - Variable in class blog.distrib.StringEditModel
 
checkCompleteness() - Method in class blog.Model
Returns true if every random function has a dependency statement, or if the model contains at least one parfactor.
checkTypesAndScope(Model, Map) - Method in class blog.ArgSpec
Returns true if, within the given scope, all the variables used in this ArgSpec are in scope and all type constraints are satisfied.
checkTypesAndScope(Model) - Method in class blog.ArgSpecQuery
 
checkTypesAndScope(Model, Map) - Method in class blog.AtomicFormula
Returns true if the underlying term satisfies the type/scope constraints and has a Boolean type.
checkTypesAndScope(Model, Map) - Method in class blog.CardinalitySpec
 
checkTypesAndScope(Model, Map, Type) - Method in class blog.Clause
 
checkTypesAndScope(Model, Map) - Method in class blog.ConjFormula
 
checkTypesAndScope(Model, Map) - Method in class blog.DependencyModel
 
checkTypesAndScope(Model, Map) - Method in class blog.DisjFormula
 
checkTypesAndScope(Model, Map) - Method in class blog.EqualityFormula
An equality formula is properly typed if the type of one term is a subtype of the type of the other term.
checkTypesAndScope(Model) - Method in class blog.Evidence
Returns true if the evidence satisfies type and scope constraints.
checkTypesAndScope(Model, Map) - Method in class blog.ExistentialFormula
 
checkTypesAndScope(Model, Map) - Method in class blog.ExplicitSetSpec
 
checkTypesAndScope(Model, Map) - Method in class blog.FuncAppTerm
Type checks this function application.
checkTypesAndScope(Model) - Method in class blog.Function
Returns true if the dependency statement or interpretation statement for this function (if any) satisfies type and scope constraints.
checkTypesAndScope(Model, Map) - Method in class blog.ImplicFormula
 
checkTypesAndScope(Model, Map) - Method in class blog.ImplicitSetSpec
 
checkTypesAndScope(Model, Map) - Method in class blog.LogicalVar
 
checkTypesAndScope() - Method in class blog.Model
Check types and scopes in the model.
checkTypesAndScope(Model, Map) - Method in class blog.NegFormula
 
checkTypesAndScope(Model) - Method in class blog.NonRandomFunction
 
checkTypesAndScope(Model) - Method in class blog.POP
Checks types and scopes in this POP and its number statement.
checkTypesAndScope(Model) - Method in interface blog.Query
Returns true if this query satisfies type and scope constraints.
checkTypesAndScope(Model) - Method in class blog.RandomFunction
 
checkTypesAndScope(Model) - Method in class blog.SymbolEvidenceStatement
Returns true if this statement satisfies type and scope constraints.
checkTypesAndScope(Model, Map) - Method in class blog.SymbolTerm
 
checkTypesAndScope(Model, Map) - Method in class blog.TrueFormula
 
checkTypesAndScope(Model, Map) - Method in class blog.TupleSetSpec
 
checkTypesAndScope(Model, Map) - Method in class blog.UniversalFormula
 
checkTypesAndScope(Model) - Method in class blog.ValueEvidenceStatement
Returns true if this statement satisfies type and scope constraints.
choose(int, int) - Static method in class common.Util
Returns (n choose k) = n! / (n-k)! k!.
ChooseFromArgs - Class in blog.distrib
CPD that takes a sequence of probabilities as parameters, and uses those probabilities to define a distribution over its arguments.
ChooseFromArgs(double[]) - Constructor for class blog.distrib.ChooseFromArgs
Creates a ChooseFromArgs CPD with the given parameter vector.
ChooseFromArgs(List) - Constructor for class blog.distrib.ChooseFromArgs
Creates a new ChooseFromArgs distribution from the given parameter list.
CLASS_NAME - Static variable in class blog.BLOGTokenConstants
 
Clause - Class in blog
Represents a clause in dependency statements and number statements.
Clause(Formula, Class, List, List) - Constructor for class blog.Clause
Creates a new clause.
Clause(Formula, CondProbDistrib, List) - Constructor for class blog.Clause
Creates a new clause using the given CondProbDistrib object.
clear() - Method in class common.AbstractMapWithPreimages
 
clear() - Method in class common.BinaryHeap
Removes all elements from this heap.
clear() - Method in class common.FibHeap
 
clear() - Method in class common.HashMultiMap
 
clear() - Method in class common.HashMultiMapDiff
 
clear() - Method in class common.HashMultiset
Removes all elements from this multiset.
clear() - Method in class common.Histogram
Resets the weights of all objects to zero.
clear() - Method in class common.IndexedHashSet
 
clear() - Method in class common.IndexedTreeSet
 
clearChanges() - Method in class common.HashMapDiff
 
clearChanges() - Method in class common.HashMultiMapDiff
Resets this multi-map to be equal to the underlying multi-map.
clearChanges() - Method in class common.HashSetDiff
 
clearChanges() - Method in class common.IndexedHashSetDiff
Clears the changes in this IndexedSetDiff so it is once again equal to the underlying IndexedSet.
clearChanges() - Method in class common.IndexedTreeSetDiff
Clears the changes in this IndexedSetDiff so it is once again equal to the underlying IndexedSet.
clearChanges() - Method in interface common.MapDiff
Resets this map so it is equal to the underlying map.
clearChanges() - Method in class common.MapWithPreimagesDiff
 
clearChanges() - Method in interface common.MultiMapDiff
Resets this multi-map to be equal to the underlying multi-map.
clearChanges() - Method in class common.ParentUpdateDGraph
 
clearChanges() - Method in interface common.SetDiff
Changes this set so it's equal to the underlying set.
clone() - Method in class blog.BasicVar
 
clone() - Method in class blog.DefaultPartialWorld
 
clone() - Method in class blog.NumberVar
 
clone() - Method in class blog.RandFuncAppVar
 
clone() - Method in class common.DefaultDGraph
 
clone() - Method in class common.HashMapDiff
 
clone() - Method in class common.HashMapWithPreimages
 
clone() - Method in class common.HashMultiMap
Returns a shallow copy of this multi-map.
clone() - Method in class common.HashMultiMapDiff
Returns a shallow copy of this multi-map diff, expressed relative to the same underlying multi-map.
clone() - Method in class common.HashSetDiff
Returns a shallow copy of this set diff, expressed relative to the same underlying set.
clone() - Method in class common.IndexedHashSet
 
clone() - Method in class common.IndexedHashSetDiff
 
clone() - Method in class common.IndexedTreeSet
 
clone() - Method in class common.ParentUpdateDGraph
 
cloneFields(AbstractPartialWorld) - Method in class blog.AbstractPartialWorld
Replicates all fields into the fields of newWorld.
close() - Method in class common.TabularReader
Close the underlying stream.
cls - Variable in class blog.BLOGParser.CPDSpec
 
cls - Variable in class blog.BLOGParser.PotentialSpec
 
collectAggrStats(int, int) - Method in class common.Multinomial
Records n occurrences of an element i, for use in updating parameters.
collectStats(boolean) - Method in class common.Bernoulli
Records an occurrence of the value x, for use in updating parameters.
collectStats(boolean[]) - Method in class common.BinarySequenceDistrib
Records an occurrence of the array x, for use in updating parameters.
collectStats(BitSet, int) - Method in class common.BinarySequenceDistrib
Records the occurrence of an array of length n, where the set of true elements is specified by the given BitSet.
collectStats(int) - Method in class common.Geometric
Records an occurrence of the number n, for use in updating parameters.
collectStats(int) - Method in class common.Multinomial
Records an occurrence of element i, for use in updating parameters.
collectStats(int) - Method in class common.MultinomialWithTail
Records an occurrence of the number n, for use in updating parameters.
COLON - Static variable in class blog.BLOGTokenConstants
 
COMMA - Static variable in class blog.BLOGTokenConstants
 
commIdToPOPApp - Variable in class blog.AbstractPartialWorld
Map from common ground ObjectIdentifiers (including asserted ones) to the NumberVars that they satisfy.
common - package common
 
common.cmdline - package common.cmdline
 
comparator() - Method in class common.IndexedTreeSet
 
comparator() - Method in class common.IndexedTreeSetDiff
 
compareArgs(Object, Object) - Static method in class blog.Model
Compares two objects that can serve as arguments to basic random variables.
compareArgTuples(Object[], Object[]) - Static method in class blog.Model
Returns a number that is negative, positive, or zero according to whether objs1 comes before, after, or at the same place as objs2 in a lexicographic ordering.
compareTo(Object) - Method in class blog.BasicVar
Compares this BasicVar to another one.
compareTo(Object) - Method in class blog.EnumeratedObject
Compares this enumerated object to another one of the same type, based on their indices.
compareTo(Object) - Method in class blog.NonGuaranteedObject
Compares this non-guaranteed object to another one.
compareTo(Object) - Method in class blog.ObjectIdentifier
 
compareTo(Object) - Method in class blog.Timestep
 
compile(LinkedHashSet) - Method in class blog.ArgSpec
Does compilation steps that can only be done correctly once the model is complete.
compile() - Method in class blog.ArgSpecQuery
Compiles the underlying ArgSpec, and initializes the variable corresponding to this query.
compile(LinkedHashSet) - Method in class blog.CardinalitySpec
Compiles the set specification in this CardinalitySpec.
compile(LinkedHashSet) - Method in class blog.Clause
Creates the CPD object for this clause (if it doesn't already exist), and does any necessary compilation on the condition and CPD arguments.
compile(LinkedHashSet) - Method in class blog.DependencyModel
Creates CPD objects for this dependency model, and does any necessary compilation on the conditions and CPD arguments.
compile() - Method in class blog.Evidence
Does compilation steps that can only be done correctly once the model is complete.
compile(LinkedHashSet) - Method in class blog.ExistentialFormula
Compiles a specification for the set of witnesses for this existential formula.
compile(LinkedHashSet) - Method in class blog.Formula
Compiles all sub-formulas and top-level terms of this formula.
compile(LinkedHashSet) - Method in class blog.FuncAppTerm
Ensures that all the functions used in this term are compiled.
compile(LinkedHashSet) - Method in class blog.Function
Ensures that this function is ready to be used by an inference engine.
compile(LinkedHashSet) - Method in class blog.ImplicitSetSpec
Initializes a compiled version of this set specification.
compile(LinkedHashSet) - Method in class blog.LogicalVar
 
compile() - Method in class blog.Model
Does compilation steps that can only be done correctly once the model is complete.
compile(LinkedHashSet) - Method in class blog.NonRandomFunction
Constructs this function's interpretation, if it hasn't been constructed already.
compile() - Method in interface blog.Query
Does compilation steps that can only be done correctly once the model is complete.
compile(LinkedHashSet) - Method in class blog.RandomFunction
Ensures that this function has a dependency statement, and compiles that dependency statement.
compile(LinkedHashSet) - Method in class blog.SymbolEvidenceStatement
Initializes the observed variable and value, and compiles the cardinality spec for the observed variable.
compile(LinkedHashSet) - Method in class blog.SymbolTerm
 
compile(LinkedHashSet) - Method in class blog.TupleSetSpec
Initializes ObjGenGraph objects for the possible bindings to the variables in this TupleSetSpec.
compile(LinkedHashSet) - Method in class blog.UniversalFormula
Compiles a specification for the set of counterexamples to this universal formula.
compile(LinkedHashSet) - Method in class blog.ValueEvidenceStatement
Compiles both sides of this evidence statement, and initializes the observed variable and value.
CompiledSetSpec - Class in blog
Data structure that facilitates iterating over the set of objects x such that a given formula phi(x) is true.
CompiledSetSpec(LogicalVar, Formula) - Constructor for class blog.CompiledSetSpec
Creates a new CompiledSetSpec for iterating over all bindings for var that satisfy phi.
CONCAT - Static variable in class blog.BuiltInFunctions
A function on strings x, y that returns the concatenation of x and y.
concat(List<? extends T>, List<? extends T>) - Static method in class common.Util
Returns an unmodifiable list equal to the concatenation of the two given lists.
CondProbDistrib - Interface in blog
An interface which all user-defined conditional probability distributions (CPDs), as well as the EqualsCPD class, are expected to implement.
ConjFormula - Class in blog
Represents a conjuction of expressions, each of which is a Formula.
ConjFormula(Formula) - Constructor for class blog.ConjFormula
Creates a new conjunction with just one conjunct, namely the given formula.
ConjFormula(Formula, Formula) - Constructor for class blog.ConjFormula
 
ConjFormula(List) - Constructor for class blog.ConjFormula
Creates a new conjunction formula with the given conjuncts.
ConstantInterp - Class in blog
Implementation of FunctionInterp for constants (zero-ary functions).
ConstantInterp(List) - Constructor for class blog.ConstantInterp
Expects a single parameter, namely the function value.
constraint - Variable in class blog.BLOGParser.VarsWithConstraint
 
constructEngine(Model, Properties) - Static method in class blog.InferenceEngine
Returns a new InferenceEngine object for the given BLOG model, with properties specified by the given Properties table.
constructInitialState() - Method in class blog.GenericProposer
Actually builds initial state, after whatever initializations are necessary.
constructProposer(Properties) - Method in class blog.DMHSampler
Method responsible for initializing the proposer field.
constructProposer(Properties) - Method in class blog.MHSampler
Method responsible for initializing the proposer field.
constructWithMean(double) - Static method in class blog.distrib.Geometric
Returns a Geometric distribution with the given mean.
contains(Object) - Method in class blog.AbstractObjectSet
 
contains(Object) - Method in class common.AbstractMultiset
Returns true if count(o) returns a number greater than zero.
contains(Object) - Method in class common.HashMultiMap.ValueSet
 
contains(Object) - Method in class common.HashMultiMapDiff.ValueSet
 
contains(Object) - Method in class common.HashSetDiff
 
contains(Object) - Method in class common.IndexedHashSet
 
contains(Object) - Method in class common.IndexedHashSetDiff
 
contains(Object) - Method in class common.IndexedSet.EmptyIndexedSet
 
contains(Object) - Method in class common.IndexedTreeSet
 
contains(Object) - Method in class common.IndexedTreeSetDiff
 
contains(Object) - Method in class common.MultisetBackedSet
Returns true if this set contains the given element, that is, if the underlying multiset contains at least one occurrence of that element.
contains(Object) - Method in class common.WeakHashSet
 
containsAnyTerm(Collection) - Method in class blog.Formula
Returns true if this formula contains any term in the given collection.
containsInternal(Object) - Method in class blog.AbstractObjectSet
Returns Boolean.TRUE if this set contains obj, Boolean.FALSE if this set does not contain obj, and null if the underlying partial world is not complete enough to make the distinction.
containsInternal(Object) - Method in class blog.DefaultObjectSet
 
containsInternal(Object) - Method in class blog.POPAppBasedSet
 
containsKey(Object) - Method in class common.AbstractMapWithPreimages
 
containsKey(Object) - Method in class common.HashMapDiff
 
containsKey(Object) - Method in class common.HashMultiMap
 
containsKey(Object) - Method in class common.HashMultiMapDiff
 
containsRandomSymbol() - Method in class blog.ArgSpec
Returns true if this ArgSpec contains any random function symbols or any type symbols (any type might have a number statement, and thus could be random).
containsRandomSymbol() - Method in class blog.CardinalitySpec
 
containsRandomSymbol() - Method in class blog.ExistentialFormula
 
containsRandomSymbol() - Method in class blog.ExplicitSetSpec
 
containsRandomSymbol() - Method in class blog.Formula
Returns true if any of the subformulas or top-level terms of this term contain a random symbol.
containsRandomSymbol() - Method in class blog.FuncAppTerm
 
containsRandomSymbol() - Method in class blog.ImplicitSetSpec
 
containsRandomSymbol() - Method in class blog.LogicalVar
 
containsRandomSymbol() - Method in class blog.SymbolTerm
 
containsRandomSymbol() - Method in class blog.TupleSetSpec
 
containsRandomSymbol() - Method in class blog.UniversalFormula
 
containsTerm(Term) - Method in class blog.Formula
Returns true if this formula contains the given term.
containsTerm(Term) - Method in class blog.Term
Returns true if the given term occurs in this term (or if the given term is equal to this term).
containsValue(Object) - Method in class common.AbstractMapWithPreimages
 
containsValue(Object) - Method in class common.HashMultiMap
 
copy() - Method in class blog.Particle
 
copySet(Set) - Method in class common.HashMultiMap
 
copySet(Set) - Method in class common.HashSetDiff
 
copySet(Set) - Method in class common.IndexedHashMultiMap
 
correspondingObj(Integer) - Method in class blog.ObjGenGraph.IntegerNode
Method that can be overridden by subclasses so that the iterator for this node returns objects corresponding to integers, not the integers themselves.
correspondingObj(Integer) - Method in class blog.ObjGenGraph.TimestepNode
 
count(Object) - Method in class common.AbstractMultiset
Returns the number of occurrences of the given element in this multiset.
count(Object) - Method in class common.HashMultiset
Returns the number of occurrences of the given element in this multiset.
count(Object) - Method in interface common.Multiset
Returns the number of occurrences of the given element in this multiset.
count(Object) - Method in class common.SetBackedMultiset
Returns the number of occurrences of the given element in this multiset.
CPD - Static variable in class blog.EqualsCPD
An instance of EqualsCPD.
createVar(Type) - Static method in class blog.LogicalVar
 
curWorld - Variable in class blog.MHSampler
 

D

DecayedProposer - Class in blog
A DecayedProposer as defined by Bhaskara Marthi, Hanna Pasula, Stuart Russell, Yuval Peres, "Decayed MCMC Filtering" (2002).
DecayedProposer(Model, Properties) - Constructor for class blog.DecayedProposer
Constructs a DecayedProposer based on the given model and properties.
decreaseCost(Heap.Entry, double) - Method in class common.BinaryHeap
Decreases the cost for the given entry.
decreaseCost(Heap.Entry, double) - Method in class common.FibHeap
Decreases the cost for the given entry.
decreaseCost(Heap.Entry, double) - Method in interface common.Heap
Decreases the cost for the given entry.
DefaultDGraph - Class in common
Default implementation of the DGraph interface.
DefaultDGraph() - Constructor for class common.DefaultDGraph
Creates a new, empty graph.
DefaultEvalContext - Class in blog
Basic implementation of the EvalContext interface.
DefaultEvalContext(PartialWorld) - Constructor for class blog.DefaultEvalContext
Creates a new evaluation context using the given partial world.
DefaultEvalContext(PartialWorld, boolean) - Constructor for class blog.DefaultEvalContext
Creates a new evaluation context using the given partial world.
DefaultMapEntry - Class in common
Default implementation of the Map.Entry interface.
DefaultMapEntry(Object, Object) - Constructor for class common.DefaultMapEntry
 
DefaultMapEntry(Map.Entry) - Constructor for class common.DefaultMapEntry
 
DefaultObjectIterator - Class in blog
ObjectIterator implementation that wraps around an ordinary Iterator.
DefaultObjectIterator(Iterator) - Constructor for class blog.DefaultObjectIterator
Creates an ObjectIterator that behaves just like the given iterator.
DefaultObjectSet - Class in blog
ObjectSet implementation that can be constructed using an ordinary Collection.
DefaultObjectSet(Collection) - Constructor for class blog.DefaultObjectSet
Creates an ObjectSet whose contents are the same as the current contents of the given collection.
DefaultPartialWorld - Class in blog
Straightforward implementation of AbstractPartialWorld.
DefaultPartialWorld() - Constructor for class blog.DefaultPartialWorld
Creates a new DefaultPartialWorld with no instantiated variables.
DefaultPartialWorld(Set) - Constructor for class blog.DefaultPartialWorld
Creates a new DefaultPartialWorld with no instantiated variables and no identifiers.
DefaultReferenceHistogram - Class in common
Default implementation of the ReferenceHistogram interface.
DefaultReferenceHistogram() - Constructor for class common.DefaultReferenceHistogram
Creates a new DefaultReferenceHistogram with no references (and hence no referenced objects).
DenseVector - Class in common
Implementation of ImplicitVector in which the explicit entries form a prefix of the implicit infinite vector.
DenseVector() - Constructor for class common.DenseVector
Creates a new vector with no explicit entries.
DenseVector(int) - Constructor for class common.DenseVector
Creates a new vector with no explicit entries, but with memory allocated for the given number of entries.
DependencyModel - Class in blog
Represents dependency statements for functions and number statements for potential object patterns.
DependencyModel(List, Type, Object) - Constructor for class blog.DependencyModel
 
DependencyModel.Distrib - Class in blog
Nested class representing a distribution over child values, in the form of a CPD and a list of values for the CPD's arguments.
DependencyModel.Distrib(CondProbDistrib, List) - Constructor for class blog.DependencyModel.Distrib
 
dependsOnIdOrder(EvalContext) - Method in class blog.CompiledSetSpec
Returns true if the iteration order for the set returned by elementSet is affected by the iteration order for object identifiers in the given context.
dependsOnIdOrder(EvalContext) - Method in class blog.ObjGenGraph
Returns true if the iteration order for objects that satisfy the target node is affected by the iteration order for object identifiers in the given context.
dependsOnIdOrder(EvalContext) - Method in class blog.ObjGenGraph.GuaranteedNode
 
dependsOnIdOrder(EvalContext) - Method in class blog.ObjGenGraph.IntegerNode
 
dependsOnIdOrder(EvalContext) - Method in class blog.ObjGenGraph.Node
Returns true if the iteration order for satisfiers of this node depends on the iteration order for object identifiers in the given context.
dependsOnIdOrder(EvalContext) - Method in class blog.ObjGenGraph.OrNode
 
dependsOnIdOrder(EvalContext) - Method in class blog.ObjGenGraph.POPNode
 
dependsOnIdOrder(EvalContext) - Method in class blog.ObjGenGraph.TermNode
 
DerivedVar - Class in blog
A random variable whose value is a deterministic function of some basic variables.
DerivedVar(ArgSpec) - Constructor for class blog.DerivedVar
Creates a new DerivedVar whose value is given by argSpec.
derivedVarToValue - Variable in class blog.AbstractPartialWorld
Map from derived variables in the Bayes net to their values.
derivedVarToValueMap() - Method in class blog.AbstractPartialWorld
 
derivedVarToValueMap() - Method in interface blog.PartialWorld
Map from DerivedVars that are included in this world's Bayes net to their values.
DetCondProbDistrib - Class in blog
Abstract class for deterministic conditional probability distributions.
DetCondProbDistrib() - Constructor for class blog.DetCondProbDistrib
 
DGraph - Interface in common
A directed graph.
DIGIT_PROB - Static variable in class blog.distrib.StringEditModel
 
DIGITS - Static variable in class blog.distrib.StringEditModel
 
dims - Variable in class common.CartesianProduct
 
dirtyVars - Variable in class blog.AbstractPartialWorld
Variables that have been added or removed, or have had their values changed, since the last call to updateParentsAndProbs.
DisjFormula - Class in blog
Represents a disjunction of expressions, each of which is a Formula.
DisjFormula(Formula) - Constructor for class blog.DisjFormula
Creates a new disjunction with just one disjunct, namely the given formula.
DisjFormula(Formula, Formula) - Constructor for class blog.DisjFormula
 
DisjFormula(List) - Constructor for class blog.DisjFormula
Creates a new disjunction formula with the given disjuncts.
disjointUnion(Collection<? extends T>, Collection<? extends T>) - Static method in class common.Util
Returns an unmodifiable collection equal to the union of the two given collections, which are assumed to be disjoint.
DISTRIB - Static variable in class blog.BLOGTokenConstants
 
DMHSampler - Class in blog
Implements a Metropolis-Hastings sampler with the DecayedProposer.
DMHSampler(Model, Properties) - Constructor for class blog.DMHSampler
Creates a new sampler for the given BLOG model.
do_action(int, lr_parser, Stack, int) - Method in class blog.BLOGParser
Invoke a user supplied parse action.
DOC_OFFSET - Static variable in class common.cmdline.AbstractOption
Offset for documentation strings in usage strings.
domainIterator() - Method in class blog.Function
Returns an iterator over the tuples of objects that can serve as arguments to this function.
domainIterator(boolean) - Method in class blog.Function
Returns an iterator over the tuples of objects that can serve as arguments to this function.
doneWithIterator(Iterator) - Method in class common.AbstractTupleIterator
Method called whenever the AbstractTupleIterator is done with an iterator returned earlier by getIterator (i.e., that iterator's hasNext method has returned false).
DOT - Static variable in class blog.BLOGTokenConstants
 
dotProduct(ImplicitVector) - Method in class common.ImplicitVector
Returns the dot product of this vector with the given vector.
dotProduct(double[]) - Method in class common.ImplicitVector
Returns the dot product of this vector with the given array of double values.
DOUBLE_CONST - Static variable in class blog.BLOGTokenConstants
 
DoubleOption - Class in common.cmdline
Option that takes real values.
DoubleOption(String, String, double, String) - Constructor for class common.cmdline.DoubleOption
Creates a real-valued option and registers it with the Parser class.
doubleValue() - Method in class blog.Timestep
 

E

elapsedTime() - Method in class common.Timer
Returns the total elapsed time in seconds.
elementSet(EvalContext) - Method in class blog.CompiledSetSpec
Returns an ObjectSet representing the objects that, when bound to var, make phi true in the given context.
elementSet() - Method in class common.Histogram
Returns an unmodifiable view of the set of objects that have non-zero weight in this histogram.
ELSE - Static variable in class blog.BLOGTokenConstants
 
ELSEIF - Static variable in class blog.BLOGTokenConstants
 
EMPTY_GRAPH - Static variable in interface common.DGraph
An empty directed graph.
EMPTY_HISTOGRAM - Static variable in interface common.ReferenceHistogram
A ReferenceHistogram with no citations.
EMPTY_INDEXED_MULTI_MAP - Static variable in interface common.IndexedMultiMap
 
EMPTY_INDEXED_SET - Static variable in interface common.IndexedSet
An unmodifiable, empty indexed set.
EMPTY_INST - Static variable in interface blog.PartialWorld
A partial world that has no asserted identifiers and does not assign values to any basic random variables.
EMPTY_MAP_WITH_PREIMAGES - Static variable in interface common.MapWithPreimages
An empty MapWithPreimages.
EMPTY_MULTI_MAP - Static variable in interface common.MultiMap
An unmodifiable multi-map that maps all keys to the empty set.
EMPTY_OBJECT_SET - Static variable in interface blog.ObjectSet
 
emptySet() - Method in class common.HashMultiMap
 
emptySet() - Method in class common.HashMultiMapDiff
 
emptySet() - Method in class common.IndexedHashMultiMap
 
emptySet() - Method in class common.IndexedMultiMapDiff
 
ensureDetAndSupported(InstantiatingEvalContext) - Method in interface blog.BayesNetVar
Ensures that the partial world underlying the given InstantiatingEvalContext is complete enough to determine the value of this variable and to determine its probability distribution conditional on its parents.
ensureDetAndSupported(InstantiatingEvalContext) - Method in class blog.DerivedVar
 
ensureDetAndSupported(InstantiatingEvalContext) - Method in class blog.OriginVar
Ensures that the partial world underlying the given InstantiatingEvalContext is complete enough to determine the value of this variable and to determine its probability distribution conditional on its parents.
ensureDetAndSupported(InstantiatingEvalContext) - Method in class blog.VarWithDistrib
 
ensureStable() - Method in class blog.BasicVar
Ensures that this BasicVar's arguments are stored in an array that will not be modified externally.
entrySet() - Method in class common.AbstractMapWithPreimages
 
entrySet() - Method in class common.AbstractMultiset
Returns the set of entries in the multiset.
entrySet() - Method in class common.HashMapDiff
 
entrySet() - Method in class common.HashMultiMap
 
entrySet() - Method in class common.HashMultiMapDiff
 
entrySet() - Method in class common.HashMultiset
Returns the set of entries in the multiset.
entrySet() - Method in class common.Histogram
Returns an unmodifiable view of the set of Histogram.Entry objects corresponding to the non-zero weight objects in this histogram.
entrySet() - Method in class common.MultiMap.EmptyMultiMap
 
entrySet() - Method in interface common.Multiset
Returns the set of entries in the multiset.
entrySet() - Method in class common.SetBackedMultiset
Returns the set of entries in the multiset.
EnumeratedObject - Class in blog
An EnumeratedObject represents a guaranteed object that is explicitly defined and given a name in the model file, using a statement like: guaranteed typename name1, name2, ..., nameN A "name" is really a nonrandom constant symbol that refers to this object.
EnumeratedObject(Type, int, NonRandomFunction) - Constructor for class blog.EnumeratedObject
Creates a new EnumeratedObject of the given type that was introduced with the given name.
EOF - Static variable in class blog.BLOGTokenConstants
 
EOF_sym() - Method in class blog.BLOGParser
EOF Symbol index.
EPOCH - Static variable in class blog.BuiltInFunctions
Constant that denotes the timestep 0.
EQ - Static variable in class blog.BLOGTokenConstants
 
EqualityFormula - Class in blog
Represents an equality test on 2 expressions, each of which is a non-boolean-valued Term.
EqualityFormula(Term, Term) - Constructor for class blog.EqualityFormula
 
equals(Object) - Method in class blog.AtomicFormula
Two atomic formulas are equal if their underlying terms are equal.
equals(Object) - Method in class blog.CardinalitySpec
 
equals(Object) - Method in class blog.ConjFormula
Two ConjFormulas are equal if they have the same list of subformulas.
equals(Object) - Method in class blog.DisjFormula
Two DisjFormulas are equal if they have the same list of subformulas.
equals(Object) - Method in class blog.EqualityFormula
Two EqualityFormulas are equal if they have the same pair of terms.
equals(Object) - Method in class blog.ExistentialFormula
 
equals(Object) - Method in class blog.ExplicitSetSpec
Two explicit set specifications are equal if they have the same list of terms (in the same order).
equals(Object) - Method in class blog.FuncAppTerm
Two function application terms are equal if all their arguments are equal and their functions are equal.
equals(Object) - Method in class blog.Function.Sig
 
equals(Object) - Method in class blog.ImplicFormula
 
equals(Object) - Method in class blog.ImplicitSetSpec
Two implicit set specifications are equal if they have the same type, generic element variable, and condition.
equals(Object) - Method in class blog.NegFormula
Two NegFormulas are equal if they have the same subformula.
equals(Object) - Method in class blog.NumberVar
Two NumberVar objects are equal if they have the same POP and their argument lists are equal (recall that list equality is checked by calling the equals method on each corresponding pair of objects in the two lists).
equals(Object) - Method in class blog.OriginVar
Two OriginVars are equal if they are for the same object identifier.
equals(Object) - Method in class blog.RandFuncAppVar
Two RandFuncAppVar objects are equal if they have the same function and their argument arrays are equal (recall that Arrays.equals calls the equals method on each corresponding pair of objects in the two arrays).
equals(Object) - Method in class blog.Substitution
 
equals(Object) - Method in class blog.SymbolTerm
 
equals(Object) - Method in class blog.TrueFormula
Any two instances of TrueFormula are equal.
equals(Object) - Method in class blog.TupleSetSpec
Two tuple set specifications are equivalent if they have the same tuple of terms, variable type list, variable list, and condition.
equals(Object) - Method in class blog.UniversalFormula
 
equals(Object) - Method in class common.AbstractMultiset.Entry
 
equals(Object) - Method in class common.AbstractMultiset
Two multisets are equal if they have the same elements with the same occurrence counts.
equals(Object) - Method in class common.DefaultMapEntry
 
equals(Object) - Method in class common.HashMultiMap
 
equals(Object) - Method in class common.Histogram.Entry
 
EqualsCPD - Class in blog
EqualsCPD class is a convenience hack to represent the situation when the value of the right-hand side of a Clause depends on a function application rather than on a CPD.
EqualsCPD() - Constructor for class blog.EqualsCPD
Creates a new EqualsCPD.
EqualsCPD(List) - Constructor for class blog.EqualsCPD
Creates a new EqualsCPD.
error - Static variable in class blog.BLOGTokenConstants
 
ERROR - Static variable in class blog.BLOGTokenConstants
 
error_sym() - Method in class blog.BLOGParser
error Symbol index.
errorIfUndet - Variable in class blog.DefaultEvalContext
 
EvalContext - Interface in blog
Interface for objects that encapsulate a partial world and an assignment of values to logical variables.
evaluate(EvalContext, List) - Static method in class blog.ArgSpec
Returns a List consisting of the objects obtained by evaluating each element of argSpecs in the given context.
evaluate(PartialWorld) - Method in class blog.ArgSpec
Returns the value of this argument specification in the context.
evaluate(EvalContext) - Method in class blog.ArgSpec
Returns the value of this argument specification in the given context.
evaluate(EvalContext) - Method in class blog.AtomicFormula
 
evaluate(EvalContext) - Method in class blog.CardinalitySpec
 
evaluate(EvalContext) - Method in class blog.ConjFormula
 
evaluate(EvalContext) - Method in class blog.DisjFormula
 
evaluate(EvalContext) - Method in class blog.EqualityFormula
 
evaluate(EvalContext) - Method in class blog.ExistentialFormula
 
evaluate(EvalContext) - Method in class blog.ExplicitSetSpec
 
evaluate(EvalContext) - Method in class blog.FuncAppTerm
 
evaluate(EvalContext) - Method in class blog.ImplicFormula
 
evaluate(EvalContext) - Method in class blog.ImplicitSetSpec
 
evaluate(EvalContext) - Method in class blog.LogicalVar
 
evaluate(EvalContext) - Method in class blog.NegFormula
 
evaluate(EvalContext) - Method in class blog.SymbolTerm
 
evaluate(EvalContext) - Method in class blog.TrueFormula
 
evaluate(EvalContext) - Method in class blog.TupleSetSpec
Returns the value of this argument specification in the given context, or null if the partial world in this context is not complete enough to evaluate this ArgSpec.
evaluate(EvalContext) - Method in class blog.UniversalFormula
 
evaluate() - Method in interface common.NullaryFunction
 
evaluate(Object) - Method in interface common.UnaryFunction
 
evidence() - Method in class blog.BLOGParser
Returns the evidence object that this parser is using (which may be null).
evidence - Variable in class blog.BLOGParser.ModelEvidenceQueries
 
Evidence - Class in blog
Stores the information extracted from evidence file.
Evidence() - Constructor for class blog.Evidence
Creates a new Evidence object with no evidence.
evidence - Variable in class blog.GenericProposer
 
evidence - Variable in class blog.InferenceEngine
The evidence set by the last call to setEvidence, or null if setEvidence has not been called.
evidence - Variable in class blog.Sampler
Evidence specified by the last call to initialize, or null if initialize has not been called.
evidenceVars - Variable in class blog.GenericProposer
 
ExistentialFormula - Class in blog
Represents an existential instantiation for one variable satisfying an expression of type Formula.
ExistentialFormula(String, Type, Formula) - Constructor for class blog.ExistentialFormula
 
ExistentialFormula(LogicalVar, Formula) - Constructor for class blog.ExistentialFormula
 
EXISTS - Static variable in class blog.BLOGTokenConstants
 
exists(String) - Static method in class blog.BuiltInTypes
Returns true if there is a built-in type with the given name.
existsType(String) - Method in class blog.Model
Checks whether the specified type has been defined.
expectsValue() - Method in class common.cmdline.BooleanOption
 
expectsValue() - Method in class common.cmdline.DoubleOption
 
expectsValue() - Method in class common.cmdline.IntOption
 
expectsValue() - Method in interface common.cmdline.Option
Returns true if this option expects a value on the command line.
expectsValue() - Method in class common.cmdline.PropertiesOption
 
expectsValue() - Method in class common.cmdline.StringListOption
 
expectsValue() - Method in class common.cmdline.StringOption
 
ExplicitSetSpec - Class in blog
Represents an argument - set with explicit listing of its elements.
ExplicitSetSpec(List) - Constructor for class blog.ExplicitSetSpec
Creates a new explicit set specification.
Exponential - Class in blog.distrib
An Exponential distribution with parameter lambda over non-negative reals.
Exponential(List) - Constructor for class blog.distrib.Exponential
Creates a new Exponential with parameter lambda
extendSetup(Model, Evidence, List) - Method in interface blog.SetupExtender
Extends the given problem setup.
ExtensibleLinkedList - Class in common
A data structure that is implemented as a linked list, but only implements the Collection interface, so it does not allow random access to elements and does not support ListIterators.
ExtensibleLinkedList() - Constructor for class common.ExtensibleLinkedList
Creates an empty list.
ExtensibleLinkedList(Collection) - Constructor for class common.ExtensibleLinkedList
Creates a list containing the elements of the specified collection, in the order they are returned by the collection's iterator.
extractMin() - Method in class common.BinaryHeap
Returns the minimum-cost entry in this heap and removes it from the heap.
extractMin() - Method in class common.FibHeap
 
extractMin() - Method in interface common.Heap
Returns the minimum-cost entry in this heap and removes it from the heap.

F

FACTOR - Static variable in class blog.BLOGTokenConstants
 
factorial(int) - Static method in class common.Util
Returns the factorial of n.
FALSE - Static variable in class blog.BLOGTokenConstants
 
fatalError(Throwable) - Static method in class common.Util
Prints the error message and stack trace for the given exception, and exits the program, returning code 1.
fatalError(Throwable, boolean) - Static method in class common.Util
Prints the error message for the given exception, and optionally prints a stack trace.
fatalError(String) - Static method in class common.Util
Prints error message and exits.
fatalError(String, boolean) - Static method in class common.Util
Prints error message, optionally prints stack trace, and exits.
fatalErrorWithoutStack(String) - Static method in class common.Util
Prints error message without printing stack trace, and exits.
FibHeap - Class in common
A Fibonacci heap data structure, as described in Chapter 20 of Cormen, Leiserson, Rivest & Stein (2001).
FibHeap() - Constructor for class common.FibHeap
Creates a new, empty Fibonnaci heap.
filePrintStream(String) - Static method in class blog.Main
Returns a PrintStream representing the newly created file, with given pathname s.
filter(int, Object) - Method in class common.FilteredIterator
 
filter(int, Object) - Method in class common.FilteredMapIterator
 
FilteredIterator - Class in common
Abstract class for Iterator objects that filter or transform the objects returned by an underlying iterator.
FilteredIterator(Iterator) - Constructor for class common.FilteredIterator
Creates a new FilteredIterator on the given underlying iterator.
FilteredMapIterator - Class in common
Abstract class for FilteredIterator objects whose underlying iterator runs over the entry set of a map.
FilteredMapIterator(Iterator) - Constructor for class common.FilteredMapIterator
Creates a new FilteredMapIterator on the given underlying iterator.
findFirst(Collection, UnaryFunction) - Static method in class common.Util
Returns the first element x in c such that f(x) != null, or null if there is no such element.
findFirst(Collection, UnaryPredicate) - Static method in class common.Util
Returns the first element x in c satisfying p, or null if there is no such element.
findNext() - Method in class blog.AbstractObjectIterator
Returns the next object to be returned by this iterator, or null if there are no more objects.
first() - Method in class common.IndexedTreeSet
 
first() - Method in class common.IndexedTreeSetDiff
 
floatValue() - Method in class blog.Timestep
 
FOR - Static variable in class blog.BLOGTokenConstants
 
FORALL - Static variable in class blog.BLOGTokenConstants
 
Formula - Class in blog
Formula is an abstract class from which all classes denoting particular kinds of formulas inherit.
Formula() - Constructor for class blog.Formula
 
formula() - Method in class blog.FormulaQuery
 
FormulaQuery - Class in blog
 
FormulaQuery(Formula) - Constructor for class blog.FormulaQuery
 
func() - Method in class blog.RandFuncAppVar
Returns the function being applied in this function application variable.
FuncAppTerm - Class in blog
Represents a function invocation.
FuncAppTerm(Function) - Constructor for class blog.FuncAppTerm
Creates a new function application term with the given function and no arguments.
FuncAppTerm(Function, Term) - Constructor for class blog.FuncAppTerm
Creates a new function application term with the given function and a single given argument.
FuncAppTerm(Function, Term, Term) - Constructor for class blog.FuncAppTerm
Creates a new function application term with the given function and two given arguments.
FuncAppTerm(Function, List) - Constructor for class blog.FuncAppTerm
Creates a new function application term with the given function and argument list.
FuncAppTerm(String, List) - Constructor for class blog.FuncAppTerm
Creates a new function application term with the given function name and argument list.
Function - Class in blog
Represents a BLOG function.
Function(String, List, Type) - Constructor for class blog.Function
 
Function.Sig - Class in blog
Nested class representing a function signature, that is, a function name and a tuple of argument types.
Function.Sig(String) - Constructor for class blog.Function.Sig
Creates a signature for a zero-ary function with the given name.
Function.Sig(String, Type...) - Constructor for class blog.Function.Sig
Creates a signature for a function with the given name and argument types.
Function.Sig(String, List<Type>) - Constructor for class blog.Function.Sig
Creates a signature for a function with the given name and argument types.
FunctionInterp - Interface in blog
Interface for classes that define the interpretation of a non-random function symbol.
functions - Variable in class blog.Model
Stores user-defined Function objects in the order they were declared.
functionsByName - Variable in class blog.Model
Maps function names to lists of functions with that name (and different argument types).

G

Gamma - Class in blog.distrib
A Gamma distribution with shape parameter k and scale parameter 1/lambda.
Gamma(List) - Constructor for class blog.distrib.Gamma
Creates a new Gamma distribution with parameters k and lambda.
Gamma(double, double) - Constructor for class blog.distrib.Gamma
Creates a new Gamma distribution with parameters k and lambda.
gamma(double) - Static method in class blog.distrib.Gamma
 
Gaussian - Class in blog.distrib
An alias for UnivarGaussian.
Gaussian(double, double) - Constructor for class blog.distrib.Gaussian
 
Gaussian(List) - Constructor for class blog.distrib.Gaussian
 
GENERATING - Static variable in class blog.BLOGTokenConstants
 
GenericObject - Class in blog
Represents a generic object of some type, possibly with constraints on the values of its origin functions.
GenericObject(Type) - Constructor for class blog.GenericObject
Creates a new generic object of the given type, with no constraints on its generating functions.
GenericPOPAppSatisfier - Class in blog
Represents a generic satisfier of some POP application.
GenericPOPAppSatisfier(POP, Object[]) - Constructor for class blog.GenericPOPAppSatisfier
Creates a new generic satisfier for the given POP.
GenericProposer - Class in blog
Implements a generic MCMC proposal algorithm.
GenericProposer(Model, Properties) - Constructor for class blog.GenericProposer
Creates a new GenericProposer that proposes possible worlds for the given model.
GenericProposer.PickVarToSampleResult - Class in blog
 
GenericProposer.PickVarToSampleResult(VarWithDistrib, int) - Constructor for class blog.GenericProposer.PickVarToSampleResult
 
genObjVar - Variable in class blog.BLOGParser.GenObjSpec
 
Geometric - Class in blog.distrib
A geometric distribution over the natural numbers 0, 1, 2,...
Geometric(double) - Constructor for class blog.distrib.Geometric
Creates a geometric distribution with the given alpha parameter.
Geometric(List) - Constructor for class blog.distrib.Geometric
Creates a geometric distribution with the given alpha parameter.
Geometric - Class in common
A geometric distribution over the natural numbers 0, 1, 2,...
Geometric() - Constructor for class common.Geometric
Creates a geometric distribution with alpha = 0.5.
Geometric(double) - Constructor for class common.Geometric
Creates a geometric distribution with the given alpha parameter.
GEQ - Static variable in class blog.BLOGTokenConstants
 
GEQ - Static variable in class blog.BuiltInFunctions
The GreaterThanOrEqual relation on type Real (and its subtypes).
get(POP, Object[], int) - Static method in class blog.NonGuaranteedObject
 
get(NumberVar, int) - Static method in class blog.NonGuaranteedObject
 
get(Object) - Method in class common.AbstractMapWithPreimages
 
get(int) - Method in class common.CartesianProduct
 
get(int) - Method in class common.DenseVector
 
get(Object) - Method in class common.HashMapDiff
 
get(Object) - Method in class common.HashMultiMap
 
get(Object) - Method in class common.HashMultiMapDiff
 
get(int) - Method in class common.ImplicitVector
Returns the value at the given index.
get(Object) - Method in class common.IndexedHashMultiMap
 
get(int) - Method in class common.IndexedHashMultiMap.IndexedValueSet
 
get(int) - Method in class common.IndexedHashSet
Returns the object with the specified index in this IndexedSet.
get(int) - Method in class common.IndexedHashSetDiff
Returns the object with the specified index in this IndexedSet.
get(Object) - Method in class common.IndexedMultiMap.EmptyIndexedMultiMap
 
get(Object) - Method in class common.IndexedMultiMapDiff
 
get(int) - Method in class common.IndexedMultiMapDiff.IndexedValueSet
 
get(int) - Method in class common.IndexedSet.EmptyIndexedSet
 
get(int) - Method in interface common.IndexedSet
Returns the object with the specified index in this IndexedSet.
get(int) - Method in class common.IndexedTreeSet
 
get(int) - Method in class common.IndexedTreeSetDiff
 
get(Object) - Method in class common.MultiMap.EmptyMultiMap
 
get(Object) - Method in interface common.MultiMap
Returns the set associated with the given key.
get(int) - Method in class common.SparseVector
 
getActiveClause(EvalContext) - Method in class blog.DependencyModel
Returns the first clause in this dependency model whose condition is satisfied in the given context.
getAddedValues(Object) - Method in class common.HashMultiMapDiff
 
getAddedValues(Object) - Method in interface common.MultiMapDiff
Returns the set of values that are associated with the given key in this multi-map and not in the underlying multi-map.
getAdditions() - Method in class common.HashSetDiff
 
getAdditions() - Method in class common.IndexedHashSetDiff
Returns the set of objects that are in this set and not the underlying set.
getAdditions() - Method in class common.IndexedTreeSetDiff
Returns the set of objects that are in this set and not the underlying set.
getAdditions() - Method in interface common.SetDiff
Returns the set of objects that are in this set and not in the underlying set.
getAncestors(Object) - Method in class common.AbstractDGraph
 
getAncestors(Object) - Method in interface common.DGraph
Returns the set of ancestors of the given node, including the node itself.
getAntecedent() - Method in class blog.ImplicFormula
Returns the antecedent (lefthand side) of this formula.
getApplicableFunc(String, Type[]) - Method in class blog.Model
Returns the user-defined or built-in Function with the given name that is applicable to the given type list, or null if no such function exists.
getArgs() - Method in class blog.Clause
 
getArgs() - Method in class blog.FuncAppTerm
Returns the arguments in this function application term.
getArgSpec() - Method in class blog.DerivedVar
Returns the ArgSpec that determines this variable's value.
getArgType() - Method in class blog.OriginFunction
Returns the type of this OriginFunction's sole element.
getArgTypes() - Method in class blog.Function
 
getArgTypes() - Method in class blog.Function.Sig
 
getArgTypes() - Method in class blog.POP
 
getArgValues() - Method in class blog.DependencyModel.Distrib
 
getArgVars() - Method in class blog.RandomFunction
Returns the logical variables that stand for the function arguments in this function's dependency model.
getAscendingIntegerIterator(int) - Static method in class common.Util
Returns an iterator over the integers greater than or equal to lower, in ascending order.
getAssertedIdentifiers() - Method in class blog.AbstractPartialWorld
 
getAssertedIdentifiers() - Method in interface blog.PartialWorld
Returns the set of object identifiers that are asserted to exist in this partial world.
getAssertedIdsForPOPApp(NumberVar) - Method in class blog.AbstractPartialWorld
 
getAssertedIdsForPOPApp(NumberVar) - Method in interface blog.PartialWorld
Returns the set of object identifiers that are asserted to satisfy the given POP application in this partial world.
getAssignmentStr() - Method in class blog.DefaultEvalContext
 
getAssignmentStr() - Method in interface blog.EvalContext
Returns a string describing the assignment of values to variables in this context.
getBackgroundHistogram() - Method in class common.ReferenceHistogramPair
Returns a ReferenceHistogram object for the background set.
getBayesNet() - Method in class blog.AbstractPartialWorld
 
getBayesNet() - Method in interface blog.PartialWorld
Returns a directed graph where the nodes are variables, and there is an edge from variable X to variable Y if Y depends directly on X given the context represented by this partial world.
getCanonicalTerm() - Method in class blog.BasicVar
Returns a term whose value in any possible world is the same as this random variable's value.
getCanonicalTerm(Map) - Method in class blog.BasicVar
Returns a term whose value in any possible world is the same as this random variable's value, assuming that objects are bound to logical variables as specified in logicalVarForObj.
getCanonicalTerm(Map) - Method in class blog.RandFuncAppVar
 
getCanonicalTerm(Object) - Method in class blog.Type
Returns the canonical term for the given object, or null if the object has no canonical term.
getCanonicalVersion() - Method in class blog.FuncAppTerm
 
getCanonicalVersion() - Method in class blog.LogicalVar
 
getCanonicalVersion() - Method in class blog.SymbolTerm
 
getCanonicalVersion() - Method in class blog.Term
Returns a version of this term that uses canonical terms as much as possible.
getChangedKeys() - Method in class common.HashMapDiff
 
getChangedKeys() - Method in class common.HashMultiMapDiff
 
getChangedKeys() - Method in interface common.MapDiff
Returns the set of keys that map to different values in this map than in the underlying map.
getChangedKeys() - Method in class common.MapWithPreimagesDiff
 
getChangedKeys() - Method in interface common.MultiMapDiff
Returns the set of keys whose associated value sets are different in this multi-map and the underlying multi-map.
getChangedVars() - Method in class blog.PartialWorldDiff
Returns the set of variables that have different values in the current world than they do in the saved world.
getChildren(Object) - Method in class blog.ObjGenGraph
 
getChildren(Object) - Method in class common.DefaultDGraph
 
getChildren(Object) - Method in interface common.DGraph
Returns an unmodifiable set consisting of the given object's children, or null if the object is not in the graph.
getChildren(Object) - Method in class common.ParentUpdateDGraph
 
getChildValue(List) - Method in class blog.DetCondProbDistrib
Returns the child value that has probability one for the given tuple of CPD arguments.
getChildValue(List) - Method in class blog.distrib.Iota
Takes a single argument, namely a set S.
getChildValue(List) - Method in class blog.EqualsCPD
Returns the first element of the given argument tuple.
getClauseList() - Method in class blog.DependencyModel
 
getCond() - Method in class blog.Clause
 
getCond() - Method in class blog.ExistentialFormula
Returns the formula inside the existential quantifier.
getCond() - Method in class blog.ImplicitSetSpec
 
getCond() - Method in class blog.TupleSetSpec
 
getCond() - Method in class blog.UniversalFormula
Returns the formula inside the universal quantifier.
getConjuncts() - Method in class blog.ConjFormula
Returns a List of Formula objects representing the conjuncts in this conjunction formula.
getConsequent() - Method in class blog.ImplicFormula
Returns the consequent (righthand side) of this formula.
getConstant() - Method in class blog.EnumeratedObject
Returns the non-random constant that canonically stands for this object.
getConstantValue(String) - Method in class blog.Model
Returns the value of the non-random constant with the given name, or null if there is no such non-random constant.
getConstructor() - Method in class blog.MatrixType
Returns a non-random function that takes rows*cols real numbers as arguments, and returns a matrix of this type.
getCost() - Method in interface common.Heap.Entry
 
getCount() - Method in class common.AbstractMultiset.Entry
Returns the count of this element.
getCount() - Method in interface common.Multiset.Entry
Returns the count of this element.
getCount(Object) - Method in class common.SamplingMultiset
Returns the count for the given element.
getCounterexampleSpec() - Method in class blog.UniversalFormula
Returns a CompiledSetSpec for the set of objects that are counterexamples to this universal formula: that is, the objects that make the condition false.
getCovar() - Method in class blog.distrib.MultivarGaussian
Returns the covariance matrix of this distribution, or null if the covariance is not fixed.
getCPD() - Method in class blog.Clause
 
getCPD() - Method in class blog.DependencyModel.Distrib
 
getCPDClass() - Method in class blog.Clause
 
getCreationIndex() - Method in class blog.DependencyModel
Returns an index indicating when this dependency model was defined.
getCreationIndex() - Method in class blog.Function
Returns an index indicating when this function was declared (or otherwise created).
getCreationIndex() - Method in class blog.Type
Returns an index indicating when this type was declared (or otherwise created).
getCurFilename() - Method in class blog.BLOGLexer
 
getCurFilename() - Method in interface common.ScannerWithLocInfo
Returns the name of the file being scanned.
getCurLineNum() - Method in class blog.BLOGLexer
 
getCurLineNum() - Method in interface common.ScannerWithLocInfo
Returns the number of the line containing the beginning of the last token matched.
getCurrent(Object) - Method in class common.HashMultiMapDiff
 
getDefaultValue() - Method in class blog.DependencyModel
 
getDefaultValue() - Method in class blog.Function
Returns the value of this function on arguments that are not in its domain.
getDefaultValue() - Method in class blog.Type
Returns the default value for functions with this return type.
getDepModel() - Method in class blog.NumberVar
 
getDepModel() - Method in class blog.POP
 
getDepModel() - Method in class blog.RandFuncAppVar
 
getDepModel() - Method in class blog.RandomFunction
 
getDepModel() - Method in class blog.VarWithDistrib
Returns the dependency model for this variable.
getDepth() - Method in class blog.NonGuaranteedObject
Returns the depth of nesting in this tuple.
getDerivedVars() - Method in class blog.AbstractPartialWorld
 
getDerivedVars() - Method in interface blog.PartialWorld
Returns the set of derived variables that are included in this world's Bayes net.
getDescendants(Object) - Method in class common.AbstractDGraph
 
getDescendants(Object) - Method in interface common.DGraph
Returns the set of descendants of the given node, including the node itself.
getDescendingIntegerIterator(int) - Static method in class common.Util
Returns an iterator over the integers less than or equal to upper, in descending order.
getDisjuncts() - Method in class blog.DisjFormula
Returns a List of Formula objects representing the disjuncts in this disjunction formula.
getDistrib(EvalContext) - Method in class blog.Clause
Returns this clause's CPD, and the values of this clause's arguments evaluated in the given context.
getDistrib(EvalContext) - Method in class blog.DependencyModel
Returns the CPD and argument values for the first satisfied clause in the given context.
getDistrib(EvalContext) - Method in class blog.NumberVar
 
getDistrib(EvalContext) - Method in class blog.RandFuncAppVar
 
getDistrib(EvalContext) - Method in class blog.VarWithDistrib
Returns the CPD and argument values in the first satisfied clause of this variable's dependency statement in the given context.
getDistribWithBinding(EvalContext, LogicalVar[], Object[], Object) - Method in class blog.DependencyModel
Returns the CPD and argument values for the first satisfied clause in the context obtained by binding the given variables to the given objects.
getElement() - Method in class common.AbstractMultiset.Entry
Returns the element in this entry.
getElement() - Method in interface common.Heap.Entry
 
getElement() - Method in class common.Histogram.Entry
Returns the object in this entry.
getElement() - Method in interface common.Multiset.Entry
Returns the element in this entry.
getElts() - Method in class blog.ExplicitSetSpec
 
getEqualParent(EvalContext) - Method in class blog.Clause
If, in the given context, this clause specifies that the child is equal to one of its parents, then this method returns that "equal parent".
getEqualParent(EvalContext) - Method in class blog.DependencyModel
If, in the given context, this dependency model specifies that the child is equal to one of its parents, then this method returns that "equal parent".
getEqualTerm(Term) - Method in class blog.EqualityFormula
Returns the term that, according to this equality formula, has the same denotation as subject.
getEquivToNegation() - Method in class blog.Formula
Returns a formula that is equivalent to the negation of this formula, but is not simply a NegFormula constructed with this formula as its argument.
getEquivToNegationInternal() - Method in class blog.ConjFormula
The formula equivalent to the negation of psi_1 & ...
getEquivToNegationInternal() - Method in class blog.DisjFormula
The formula equivalent to the negation of psi_1 | ...
getEquivToNegationInternal() - Method in class blog.ExistentialFormula
A formula equivalent to the negation of an exisential formula (exists x psi) is (forall x !psi).
getEquivToNegationInternal() - Method in class blog.Formula
Returns a formula that is equivalent to the negation of this formula, but is not simply a NegFormula constructed with this formula as its argument.
getEquivToNegationInternal() - Method in class blog.ImplicFormula
The formula equivalent to the negation of phi -> psi is phi & !psi.
getEquivToNegationInternal() - Method in class blog.NegFormula
A formula equivalent to the negation of !psi is psi itself.
getEquivToNegationInternal() - Method in class blog.TrueFormula
A formula equivalent to the negation of "true" is the empty disjunction, which is always false.
getEquivToNegationInternal() - Method in class blog.UniversalFormula
A formula equivalent to the negation of a universal formula (forall x psi) is (exists x !psi).
getEvidenceLogProb(PartialWorld) - Method in class blog.Evidence
 
getEvidenceLogProb(PartialWorld, Timestep) - Method in class blog.Evidence
 
getEvidenceProb(PartialWorld) - Method in class blog.Evidence
 
getEvidenceProb(PartialWorld, Timestep) - Method in class blog.Evidence
 
getEvidenceVars() - Method in class blog.Evidence
Returns the set of evidence variables for which the user has observed values.
getEvidenceVars(Timestep) - Method in class blog.Evidence
 
getExplicitVersion() - Method in class blog.DefaultObjectSet
 
getExplicitVersion() - Method in interface blog.ObjectSet
Returns a version of this set that no longer reflects changes to the partial world or evaluation context.
getExplicitVersion() - Method in class blog.POPAppBasedSet
 
getF1() - Method in class common.PrecisionRecall
Returns the F1 statistic, which is the harmonic mean of precision and recall: 1/F1 = 1/P + 1/R.
getFilename() - Method in class common.LocationInFile
 
getFirst(Collection) - Static method in class common.Util
Returns the first element in a collection (according to its iterator).
getFirstUninstParent(PartialWorld) - Method in interface blog.BayesNetVar
Returns the first parent of this variable that is uninstantiated in the given partial world.
getFirstUninstParent(PartialWorld) - Method in class blog.DerivedVar
 
getFirstUninstParent(PartialWorld) - Method in class blog.OriginVar
 
getFirstUninstParent(PartialWorld) - Method in class blog.VarWithDistrib
 
getForegroundHistogram() - Method in class common.ReferenceHistogramPair
Returns a ReferenceHistogram object for the foreground set.
getFreeVars() - Method in class blog.ArgSpec
Returns the logical variables that occur free in this expression.
getFreeVars() - Method in class blog.ExistentialFormula
 
getFreeVars() - Method in class blog.ImplicitSetSpec
 
getFreeVars() - Method in class blog.LogicalVar
 
getFreeVars() - Method in class blog.SymbolTerm
 
getFreeVars() - Method in class blog.TupleSetSpec
 
getFreeVars() - Method in class blog.UniversalFormula
 
getFunc() - Method in class blog.SymbolTerm
Returns the zero-ary function used in this SymbolTerm, or null if this is an occurrence of a logical variable.
getFuncsWithName(String) - Static method in class blog.BuiltInFunctions
Returns the built-in functions (and constants) with the given name.
getFuncsWithName(String) - Method in class blog.Model
Returns all user-defined or built-in functions with the given name.
getFunction(String, List) - Method in class blog.BLOGParser
Returns the Function object corresponding to the given signature, or null if no such function has been declared.
getFunction(Function.Sig) - Static method in class blog.BuiltInFunctions
Returns the built-in function (or constant) with the given signature.
getFunction() - Method in class blog.FuncAppTerm
Returns the function in this function application term.
getFunction(Function.Sig) - Method in class blog.Model
Returns the user-defined or built-in Function object with the specified signature, or null if no such function exists.
getFunctions() - Method in class blog.Model
Returns the user-defined functions in this model.
getGenericSetElt() - Method in class blog.ImplicitSetSpec
 
getGenericTuple() - Method in class blog.TupleSetSpec
 
getGenFuncsApplied(Term) - Method in class blog.Formula
Returns the set of generating functions that are applied to the term subject anywhere in this formula.
getGenFuncsApplied(Term) - Method in class blog.FuncAppTerm
 
getGenFuncsApplied(Term) - Method in class blog.Term
Returns the set of generating functions that are applied to the term subject by this term or any of its subterms.
getGenObjs() - Method in class blog.GenericPOPAppSatisfier
 
getGenObjs() - Method in class blog.NonGuaranteedObject
 
getGenObjVars() - Method in class blog.POP
Returns the logical variables that stand for the generating objects in this POP's dependency model.
getGuaranteedObject(int) - Method in class blog.Type
Returns the guaranteed object of this type that has the given index, or null if no such object exists.
getGuaranteedObjects() - Method in class blog.Type
Returns the list of explicitly enumerated guaranteed objects of this type, in the order they were introduced in the model file.
getGuaranteedObjIndex(Object) - Method in class blog.Type
Returns the index of the given object in this type's list of guaranteed objects.
getHistogram() - Method in class blog.ArgSpecQuery
 
getHistogram() - Method in class blog.FormulaQuery
 
getIdentifier() - Method in class blog.OriginVar
Returns the identifier that this OriginVar applies to.
getIdsWithChangedPOPApps() - Method in class blog.PartialWorldDiff
Returns the set of object identifiers that are asserted in either this world or the saved world, and that satisfy a different POP application in this world than in the saved world.
getIdTypes() - Method in class blog.AbstractPartialWorld
 
getIdTypes() - Method in interface blog.PartialWorld
Returns the set of types that are represented with object identifiers in this partial world.
getIndex() - Method in class blog.EnumeratedObject
Returns the index of this object, that is, the number i such that i enumerated objects of this type were introduced before this object in the model file.
getInstantiatedVars() - Method in class blog.AbstractPartialWorld
 
getInstantiatedVars() - Method in interface blog.PartialWorld
Returns an unmodifiable Set representing the set of basic variables that are instantiated in this world.
getIntegerIterator() - Static method in class common.Util
Returns an iterator over all integers, in order by magnitude, with positive integers coming before negative integers of the same magnitude.
getIntegerRangeIterator(int, int) - Static method in class common.Util
Returns an iterator over the integers in the range from lower to upper, inclusive.
getInterpClass() - Method in class blog.NonRandomFunction
Returns the FunctionInterp implementation used for this function's interpretation, or null if this function's interpretation class has not been set.
getInterpretation() - Method in class blog.NonRandomFunction
Returns the interpretation of this function, or null if this function's interpretation has not been set or constructed yet.
getInverseArgs(List, int, Type, Object) - Method in class blog.AbstractFunctionInterp
Returns the set of values for argument argIndex that, in combination with the given values for the other arguments, yield the given function value.
getInverseArgs(List, int, Type, Object) - Method in interface blog.FunctionInterp
Returns the set of values for argument argIndex that, in combination with the given values for the other arguments, yield the given function value.
getInverseArgs(Object[], int, Object) - Method in class blog.NonRandomFunction
Returns the set of values for argument argIndex that, in combination with the given values for the other arguments, yield the given function value.
getInverseTuples(Object) - Method in class blog.AbstractFunctionInterp
Returns the set of argument tuples that yield the given value, if this set is finite and can be computed easily.
getInverseTuples(RandomFunction, Object) - Method in class blog.AbstractPartialWorld
 
getInverseTuples(Object) - Method in class blog.ConstantInterp
 
getInverseTuples(Object) - Method in class blog.distrib.ListInterp
 
getInverseTuples(Object) - Method in class blog.distrib.TabularInterp
 
getInverseTuples(Object) - Method in interface blog.FunctionInterp
Returns the set of argument tuples that yield the given value, if this set is finite and can be computed easily.
getInverseTuples(Object) - Method in class blog.NonRandomFunction
Returns the set of argument tuples that yield the given value, or null if this set cannot be computed easily.
getInverseTuples(RandomFunction, Object) - Method in interface blog.PartialWorld
Returns the set of argument lists that the function func maps to the value val.
getIterator(int, List) - Method in class common.AbstractTupleIterator
Returns an iterator over the ith set given that x1, ..., x(i-1) have the values specified in the given tuple.
getKey() - Method in class common.DefaultMapEntry
 
getLatestUninstParent() - Method in class blog.ParentRecEvalContext
Returns the variable whose value was most recently needed by an access method, but which is not instantiated.
getLatestWeight() - Method in class blog.LWSampler
 
getLatestWeight() - Method in class blog.Particle
 
getLatestWeight() - Method in class blog.RejectionSampler
 
getLatestWeight() - Method in class blog.Sampler
Returns the weight for the world generated by the most recent call to nextSample.
getLatestWorld() - Method in class blog.LWSampler
 
getLatestWorld() - Method in class blog.MHSampler
 
getLatestWorld() - Method in class blog.Particle
 
getLatestWorld() - Method in class blog.RejectionSampler
 
getLatestWorld() - Method in class blog.Sampler
Returns the world generated by the most recent call to nextSample.
getLineNum() - Method in class common.LocationInFile
 
getListedTypes(String) - Method in class blog.Model
Returns a Set consisting of the user-defined types named in the given string.
getLiteral(String, Type, Object) - Static method in class blog.BuiltInFunctions
Returns the built-in constant symbol with the given name, which has the given return type and denotes the given value.
getLocation() - Method in class blog.AbstractQuery
Returns an object whose toString method yields a description of the location where this query occurred in an input file.
getLocation() - Method in class blog.ArgSpec
Returns the object specified by the last call to setLocation.
getLocation() - Method in class blog.ArgSpecQuery
 
getLocation() - Method in class blog.Clause
Returns the object specified by the last call to setLocation.
getLocation() - Method in interface blog.Query
Returns an object whose toString method yields a description of the location where this query occurred in an input file.
getLocation() - Method in class blog.SymbolEvidenceStatement
Returns an object whose toString method yields a description of the location where this statement occurred in an input file.
getLocation() - Method in class blog.ValueEvidenceStatement
Returns an object whose toString method yields a description of the location where this statement occurred in an input file.
getLogicalVar() - Method in class blog.SymbolTerm
Returns the logical variable used in this SymbolTerm, or null if this is a zero-ary function application.
getLogicalVariable() - Method in class blog.ExistentialFormula
Returns the logical variable governed by the existential quantifier in this formula.
getLogicalVariable() - Method in class blog.UniversalFormula
Returns the logical variable governed by the universal quantifier in this formula.
getLogicalVarValue(LogicalVar) - Method in class blog.DefaultEvalContext
 
getLogicalVarValue(LogicalVar) - Method in interface blog.EvalContext
Returns the value of the given logical variable in this context, or null if the given logical variable has no assigned value.
getLogicalVarValues() - Method in class blog.DefaultEvalContext
 
getLogicalVarValues() - Method in interface blog.EvalContext
Returns the set of objects that are the value of some logical variable in this context.
getLogProb(List, Object) - Method in class blog.AbstractCondProbDistrib
 
getLogProb(List, Object) - Method in interface blog.CondProbDistrib
Returns the natural log of the value returned by getProb.
getLogProb(boolean) - Method in class blog.distrib.Bernoulli
Returns the log probability of the given Boolean value under this distribution.
getLogProb(List, Object) - Method in class blog.distrib.Beta
Returns the log of the probability of value under this distribution.
getLogProb(List, Object) - Method in class blog.distrib.Binomial
Returns the log of the probability of integer k under the distribution.
getLogProb(int) - Method in class blog.distrib.BoundedGeometric
Returns the natural log of the probability of the given integer under this distribution.
getLogProb(List, Object) - Method in class blog.distrib.BoundedGeometric
Returns the log probability of the given value, which should be an Integer.
getLogProb(int) - Method in class blog.distrib.Categorical
Returns the log probability of the value with the given index under this distribution.
getLogProb(char) - Method in class blog.distrib.CharDistrib
Returns the log probability of the given character.
getLogProb(List, Object) - Method in class blog.distrib.Exponential
Returns the log of the probability of x under this distribution.
getLogProb(List, Object) - Method in class blog.distrib.Gamma
Returns the log of the probability of x under this distribution.
getLogProb(int) - Method in class blog.distrib.Geometric
Returns the natural log of the probability of the given integer under this distribution.
getLogProb(List, Object) - Method in class blog.distrib.Geometric
Returns the log probability of the given value, which should be an Integer.
getLogProb(List, Object) - Method in class blog.distrib.MixtureDistrib
 
getLogProb(Matrix) - Method in class blog.distrib.MultivarGaussian
Returns the natural log of the probability returned by getProb.
getLogProb(int) - Method in class blog.distrib.NatNumDistribWithTail
Returns the log probability of a non-negative integer n under this distribution.
getLogProb(List, Object) - Method in class blog.distrib.NegativeBinomial
Returns the log of the probability of n failures in this distribution.
getLogProb(List, Object) - Method in class blog.distrib.Poisson
Returns the log probability of the integer n under this distribution.
getLogProb(List, Object) - Method in class blog.distrib.RoundedLogNormal
Returns the log probability of the given value under this distribution.
getLogProb(int) - Method in class blog.distrib.RoundedLogNormal
Returns the log probability that X=n.
getLogProb(List, Object) - Method in class blog.distrib.UniformVector
 
getLogProb(List, Object) - Method in class blog.distrib.UnivarGaussian
 
getLogProb(double) - Method in class blog.distrib.UnivarGaussian
Returns the natural log of the density of this Gaussian distribution at the given value.
getLogProb(boolean) - Method in class common.Bernoulli
Returns the log of the probability of the Boolean value x.
getLogProb(boolean[]) - Method in class common.BinarySequenceDistrib
Returns the log of the probability of the given array of values.
getLogProb(BitSet, int) - Method in class common.BinarySequenceDistrib
Returns the log probability of an array of length n, where the set of true elements is specified by the given BitSet.
getLogProb(int) - Method in class common.Geometric
Returns the log probability of the number n.
getLogProb(Object) - Method in class common.Histogram
Returns the log probability of the given object being sampled, according to its weight.
getLogProb(int) - Method in interface common.IntegerDist
 
getLogProb(Object) - Method in class common.LogHistogram
 
getLogProb(int) - Method in class common.Multinomial
Returns the log of the probability of element i.
getLogProb(int) - Method in class common.MultinomialWithTail
Returns the log probability of the number n.
getLogProb(int[]) - Method in class common.PermutationDistrib
Returns the log probability of the given permutation.
getLogProb(int) - Method in class common.Poisson
Returns the log probability of the integer n under this distribution.
getLogProb(int) - Method in class common.RoundedLogNormal
Returns the log probability that X=n.
getLogProb(Object) - Method in class common.SamplingMultiset
 
getLogProb(Object) - Method in interface common.SetWithDistrib
Returns the natural log of the probability of the given object under this distribution.
getLogProb(String) - Method in interface common.StringDistrib
Returns the natural log probability of the given string.
getLogProb(int, int) - Method in interface common.StringDistrib
Returns the natural log probability of the substring from the given start index up to the given end index in the string passed to the last call to setString
getLogProbability() - Method in class blog.InstantiatingEvalContext
Returns the log of the probability of this InstantiatingEvalContext assigning the values it has assigned to the variables it has instantiated.
getLogProbGivenUpperBound(int, int) - Method in class common.Geometric
Returns the log probability that X = n given that X <= upper.
getLogProbOfValue(BayesNetVar) - Method in class blog.AbstractPartialWorld
 
getLogProbOfValue(BayesNetVar) - Method in interface blog.PartialWorld
If var is an instantiated basic variable, this method returns the log probability of var having the value that it has in this world, given that its parents have the values specified in this world.
getLongForms() - Method in class common.cmdline.AbstractOption
 
getLongForms() - Method in interface common.cmdline.Option
Returns the long forms of this option.
getMatching() - Method in class common.BipartiteMatcher
Returns a maximum-weight perfect matching relative to the weights specified with setWeight.
getMax() - Static method in class blog.Timestep
 
getMaxRecall() - Method in class blog.DecayedProposer
 
getMaxRecall() - Method in class blog.DMHSampler
 
getMean() - Method in class blog.distrib.MultivarGaussian
Returns the mean of this distribution, or null if the mean is not fixed.
getName() - Method in class blog.EnumeratedObject
Returns the name used to introduce this object.
getName() - Method in class blog.Function
 
getName() - Method in class blog.Function.Sig
 
getName() - Method in class blog.LogicalVar
Returns the name of this variable.
getName() - Method in class blog.Type
Returns the name of this type.
getNeg() - Method in class blog.NegFormula
 
getNewlyBarrenNodes() - Method in class common.ParentUpdateDGraph
Returns the set of nodes that are barren in this graph but are not barren nodes in the underlying graph.
getNewlyBarrenVars() - Method in class blog.PartialWorldDiff
Returns the set of variables that are barren in this world but either are not in the graph or are not barren in the saved world.
getNewlyFloatingIds() - Method in class blog.PartialWorldDiff
Returns the set of identifiers that are floating in this world and not the saved world.
getNewlyOverloadedNumberVars() - Method in class blog.PartialWorldDiff
Returns the set of number variables that are overloaded in this world but not the saved world.
getNonSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.AtomicFormula
 
getNonSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.EqualityFormula
 
getNonSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.Formula
Returns the set of values for the logical variable subject that are consistent with the generating function values of genericObj and that make this formula false in the given context, if this set can be determined without enumerating possible values for subject.
getNonSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.ImplicFormula
 
getNonSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.NegFormula
 
getNonSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.TrueFormula
 
getNumber() - Method in class blog.NonGuaranteedObject
 
getNumberVar() - Method in class blog.NonGuaranteedObject
Returns the number variable whose value determines whether this non-guaranteed object exists or not.
getNumCols() - Method in class blog.MatrixType
 
getNumLines(File) - Static method in class common.Util
Returns the number of lines in the given file.
getNumReferences(Long) - Method in class common.DefaultReferenceHistogram
 
getNumReferences(Long) - Method in interface common.ReferenceHistogram
Returns the number of references for the given object.
getNumRows() - Method in class blog.MatrixType
 
getNumValues() - Method in class blog.distrib.Categorical
Returns the number of values to which this distribution explicitly assigns a probability.
getObjectIndex(Object) - Static method in class blog.Model
Returns the index of the given object among objects of its type.
getObjsWithChangedUsesAsValue() - Method in class blog.PartialWorldDiff
Returns the set of objects that serve as values for a different set of basic RVs in this world than they do in the saved world.
getObservedValue(BayesNetVar) - Method in class blog.Evidence
Returns the observed value of the given variable.
getObservedValue() - Method in class blog.SymbolEvidenceStatement
Returns the observed value of the cardinality variable associated with this symbol evidence statement.
getObservedValue() - Method in class blog.ValueEvidenceStatement
Returns the observed value.
getObservedVar() - Method in class blog.SymbolEvidenceStatement
Returns the cardinality variable whose value is observed in this evidence statement.
getObservedVar() - Method in class blog.ValueEvidenceStatement
Returns the observed variable.
getOrderingIndex() - Method in class blog.BasicVar
Returns an index to be used for comparing this variable to others.
getOrderingIndex() - Method in class blog.NumberVar
 
getOrderingIndex() - Method in class blog.RandFuncAppVar
 
getOriginFuncIndex(OriginFunction) - Method in class blog.POP
Returns the index of f in this POP's origin function list, or -1 if it is not in the list.
getOriginFuncSet() - Method in class blog.POP
Returns a BitSet where the ith bit is true if this POP uses the ith origin function in the list of origin functions for its type.
getOriginFunctions() - Method in class blog.Type
Returns a list of origin functions for this type.
getOriginFuncValue(OriginFunction) - Method in class blog.GenericObject
Returns null if the value of g on this object is not determined.
getOriginFuncValue(OriginFunction) - Method in class blog.GenericPOPAppSatisfier
 
getOriginFuncValue(OriginFunction) - Method in class blog.NonGuaranteedObject
Returns the value of the given origin function on this object.
getOriginFuncValue(OriginFunction) - Method in class blog.NumberVar
Returns the value that the given origin function yields on all objects that satisfy this number variable.
getOverlappingFuncs(String, Type[]) - Method in class blog.Model
Returns the user-defined or built-in functions with the given name that could apply to some tuple of objects with the given types.
getParams() - Method in class blog.TupleSetSpec
 
getParents(PartialWorld) - Method in interface blog.BayesNetVar
Returns the set of parents of this variable in the given partial world.
getParents(PartialWorld) - Method in class blog.DerivedVar
 
getParents(Object) - Method in class blog.ObjGenGraph
 
getParents() - Method in class blog.ObjGenGraph.GuaranteedNode
 
getParents() - Method in class blog.ObjGenGraph.IntegerNode
 
getParents() - Method in class blog.ObjGenGraph.POPNode
 
getParents() - Method in class blog.ObjGenGraph.TermNode
 
getParents(PartialWorld) - Method in class blog.OriginVar
Returns the set of parents of this variable in the given partial world.
getParents() - Method in class blog.ParentRecEvalContext
Returns the set of basic random variables that are instantiated and whose values have been used in calls to the access methods.
getParents(PartialWorld) - Method in class blog.VarWithDistrib
Returns the set of parents of this variable in the given partial world.
getParents(Object) - Method in class common.DefaultDGraph
 
getParents(Object) - Method in interface common.DGraph
Returns an unmodifiable set consisting of the given object's parents, or null if the object is not in the graph.
getParents(Object) - Method in class common.ParentUpdateDGraph
 
getParfactors() - Method in class blog.Model
Returns the parfactors in this model, in the order they were declared.
getPOP() - Method in class blog.GenericPOPAppSatisfier
 
getPOP() - Method in class blog.NonGuaranteedObject
 
getPOPAppSatisfied(Object) - Method in class blog.AbstractPartialWorld
 
getPOPAppSatisfied(Object) - Method in class blog.DefaultEvalContext
 
getPOPAppSatisfied(Object) - Method in interface blog.EvalContext
Returns the NumberVar (i.e., POP and generating objects) such that the given object satisfies that POP applied to those generating objects in this world.
getPOPAppSatisfied(Object) - Method in class blog.ParentRecEvalContext
 
getPOPAppSatisfied(Object) - Method in interface blog.PartialWorld
Returns the NumberVar (i.e., POP and generating objects) such that the given object satisfies that POP applied to those generating objects in this world.
getPOPAppsWithChangedIds() - Method in class blog.PartialWorldDiff
Returns the set of POP applications whose set of asserted identifiers is different in this world from in the saved world.
getPOPs() - Method in class blog.Type
Returns the set of potential object patterns (POPs) for this type.
getPOPWithOriginFuncs(BitSet) - Method in class blog.Type
Returns the POP that uses the given set of origin functions, or null if no such POP exists.
getPOPWithOriginFuncs(Set) - Method in class blog.Type
Returns the POP that uses the given set of origin functions, or null if not such POP exists.
getPrecision() - Method in class common.PrecisionRecall
Returns the precision, defined as: the number of objects found that have a desired property, divided by the total number of objects found.
getPreimage(Term, boolean) - Method in class blog.Substitution
Returns the set of logical variables that map to the given term.
getPreimage(Object) - Method in class common.AbstractMapWithPreimages
 
getPreimage(Object) - Method in interface common.MapWithPreimages
Returns the set of keys that map to v.
getPreimages() - Method in class common.AbstractMapWithPreimages
 
getPreimages() - Method in interface common.MapWithPreimages
Returns a MultiMap view of the inverse of this map.
getProb(List, Object) - Method in interface blog.CondProbDistrib
For a discrete distribution, returns the conditional probability of childValue given the argument values args.
getProb(List, Object) - Method in class blog.DetCondProbDistrib
 
getProb(boolean) - Method in class blog.distrib.Bernoulli
Returns the probability of the given Boolean value under this distribution.
getProb(List, Object) - Method in class blog.distrib.Bernoulli
 
getProb(List, Object) - Method in class blog.distrib.Beta
Returns the probability of value under this distribution.
getProb(List, Object) - Method in class blog.distrib.BinaryBernoulliDistrib
 
getProb(List, Object) - Method in class blog.distrib.Binomial
Returns the probability of integer k under this distribution.
getProb(int) - Method in class blog.distrib.BoundedGeometric
Returns the probability of the given integer under this distribution.
getProb(List, Object) - Method in class blog.distrib.BoundedGeometric
Returns the probability of the given value, which should be an Integer.
getProb(int) - Method in class blog.distrib.Categorical
Returns the probability of the value with the given index under this distribution.
getProb(List, Object) - Method in class blog.distrib.Categorical
Returns the probability of the given child value conditioned on the given argument values.
getProb(char) - Method in class blog.distrib.CharDistrib
Returns the probability of the given character.
getProb(List, Object) - Method in class blog.distrib.CharDistrib
Returns the probability of the given value, which should be of class Character.
getProb(List, Object) - Method in class blog.distrib.ChooseFromArgs
Returns the probability of the given child value conditioned on the given argument values.
getProb(List, Object) - Method in class blog.distrib.Exponential
Returns the probability of x under this distribution
getProb(List, Object) - Method in class blog.distrib.Gamma
Returns the probability of x under this distribution
getProb(int) - Method in class blog.distrib.Geometric
Returns the probability of the given integer under this distribution.
getProb(List, Object) - Method in class blog.distrib.Geometric
Returns the probability of the given value, which should be an Integer.
getProb(List, Object) - Method in class blog.distrib.LinearGaussian
 
getProb(List, Object) - Method in class blog.distrib.MixtureDistrib
 
getProb(List, Object) - Method in class blog.distrib.MultivarGaussian
Ensures that x = value is a column matrix of appropriate dimension d and returns the density of this Gaussian distribution at x.
getProb(Matrix) - Method in class blog.distrib.MultivarGaussian
Given a d-dimensional column vector x, returns the density value p = 1/sqrt((2*pi)^d*|sigma|)*exp{-0.5(x-mean)'*inverse(sigma)*(x-mean)}
getProb(int) - Method in class blog.distrib.NatNumDistribWithTail
Returns the probability of a non-negative integer n under this distribution.
getProb(List, Object) - Method in class blog.distrib.NatNumDistribWithTail
Returns the probability of the given value, which should be a non-negative Integer.
getProb(List, Object) - Method in class blog.distrib.NegativeBinomial
Returns the probability of n failures under this distribution.
getProb(List, Object) - Method in class blog.distrib.Poisson
Returns the probability of the integer n under this distribution.
getProb(List, Object) - Method in class blog.distrib.RoundedLogNormal
Returns the probability of the given value under this distribution.
getProb(String, String) - Method in class blog.distrib.StringEditModel
Returns the probability of the output string given the input string.
getProb(List, Object) - Method in class blog.distrib.StringEditModel
Returns the probability of the given output string conditioned on the given input string.
getProb(List, Object) - Method in class blog.distrib.TabularCPD
 
getProb(List, Object) - Method in class blog.distrib.UniformChoice
Takes a single argument, namely a set S.
getProb(List, Object) - Method in class blog.distrib.UniformInt
Returns 1 / (upper - lower + 1) if the given integer is in the range of this distribution, otherwise returns zero.
getProb(List, Object) - Method in class blog.distrib.UniformReal
Returns 1 / (upper - lower) if the given number is in the range of this distribution, otherwise returns zero.
getProb(List, Object) - Method in class blog.distrib.UniformVector
 
getProb(List, Object) - Method in class blog.distrib.UnivarGaussian
 
getProb(double) - Method in class blog.distrib.UnivarGaussian
Returns the density of this Gaussian distribution at the given value.
getProb(boolean) - Method in class common.Bernoulli
Returns the probability of the Boolean value x.
getProb(boolean[]) - Method in class common.BinarySequenceDistrib
Returns the probability of the given array of values.
getProb(BitSet, int) - Method in class common.BinarySequenceDistrib
Returns the probability of an array of length n, where the set of true elements is specified by the given BitSet.
getProb(int) - Method in class common.Geometric
Returns the probability of the number n.
getProb(Object) - Method in class common.Histogram
Returns the probability of the given object being sampled, according to its weight.
getProb(int) - Method in interface common.IntegerDist
 
getProb(Object) - Method in class common.LogHistogram
 
getProb(int) - Method in class common.Multinomial
Returns the probability of element i.
getProb(int) - Method in class common.MultinomialWithTail
Return probability of n
getProb(int[]) - Method in class common.PermutationDistrib
Returns the probability of the given permutation.
getProb(int) - Method in class common.Poisson
Returns the probability of the integer n under this distribution.
getProb(Object) - Method in class common.SamplingMultiset
 
getProb(Object) - Method in interface common.SetWithDistrib
Returns the probability of the given object under this distribution.
getProb(String) - Method in interface common.StringDistrib
Returns the probability of the given string.
getProb(int, int) - Method in interface common.StringDistrib
Returns the probability of the substring from the given start index up to the given end index in the string passed to the last call to setString
getProbGivenUpperBound(int, int) - Method in class common.Geometric
Returns the probability that X = n given that X <= upper.
getProbInternal(String, String) - Method in class blog.distrib.StringEditModel
Method that can be overridden by subclasses to compute the probability of the output string given the input string.
getProbInternal(String, String) - Method in class blog.distrib.StringEditModelWithJumps
 
getProbOfValue(BayesNetVar) - Method in class blog.AbstractPartialWorld
 
getProbOfValue(BayesNetVar) - Method in interface blog.PartialWorld
Uses PartialWorld.getLogProbOfValue(BayesNetVar) in order to return the probability of a value given its parents.
getPropCNF() - Method in class blog.ConjFormula
To get the CNF form of a conjunction, we first convert its conjuncts into CNF, then agglomerate all the conjuncts of the resulting CNF forms together in a big conjunction.
getPropCNF() - Method in class blog.DisjFormula
To get the CNF form of a disjunction formula, we convert each disjunct to CNF, then use the distributive property of OR over AND.
getPropCNF() - Method in class blog.Formula
Returns an equivalent formula that consists of a conjunction where each conjunct is an elementary disjunction.
getPropCNF() - Method in class blog.ImplicFormula
The CNF form of an implication phi -> psi is the CNF form of the equivalent formula !phi | psi.
getPropCNF() - Method in class blog.NegFormula
If this is a literal, then its CNF form is just a conjunction consisting of one disjunction, whose sole disjunct is this formula.
getPropCNF() - Method in class blog.TrueFormula
The CNF form of TrueFormula has no conjuncts.
getPropDNF() - Method in class blog.ConjFormula
To get the DNF form of a conjunction formula, we convert each conjunct to DNF, then use the distributive property of AND over OR.
getPropDNF() - Method in class blog.DisjFormula
To get the DNF form of a disjunction formula, we get the DNF forms of all its disjunts, then agglomerate all the disjuncts of the resulting DNF forms in one big disjunction.
getPropDNF() - Method in class blog.Formula
Returns an equivalent formula that consists of a disjunction where each disjunct is an elementary conjunction.
getPropDNF() - Method in class blog.ImplicFormula
The DNF form of an implication phi -> psi is the DNF form of the equivalent formula !phi | psi.
getPropDNF() - Method in class blog.NegFormula
If this is a literal, then its DNF form is just a disjunction consisting of one conjunction, whose sole conjunct is this formula.
getPropDNF() - Method in class blog.TrueFormula
The DNF form of TrueFormula has just one disjunct, which is an empty conjunction.
getRandomFunc(String, int) - Method in class blog.Model
Returns the unique random function with the given name and number of arguments.
getRecall() - Method in class common.PrecisionRecall
Returns the recall, defined as the number of objects found that have a desired property, divided by the total number of objects with that property.
getRemovals() - Method in class common.HashSetDiff
 
getRemovals() - Method in class common.IndexedHashSetDiff
Returns the set of objects that are in the underlying set but not in this set.
getRemovals() - Method in class common.IndexedTreeSetDiff
Returns the set of objects that are in the underlying set but not in this set.
getRemovals() - Method in interface common.SetDiff
Returns the set of objects that are in the underlying set but not in this set.
getRemovedValues(Object) - Method in class common.HashMultiMapDiff
 
getRemovedValues(Object) - Method in interface common.MultiMapDiff
Returns the set of values that are associated with the given key in the underlying multi-map but not in this multi-map.
getReplacement(LogicalVar) - Method in class blog.Substitution
Returns the replacement for the given logical variable, or the logical variable itself if no replacement has been specified.
getResult() - Method in class common.SubstringReplacer
Returns the string obtained by taking the original string specified in the last call to reset, and applying all the substring replacement operations specified using addReplacement since the last call to reset.
getRetType() - Method in class blog.Function
 
getRoots() - Method in class common.AbstractDGraph
 
getRoots() - Method in interface common.DGraph
Returns the set of nodes in this graph that have no parents.
getSatisfiers(NumberVar) - Method in class blog.AbstractPartialWorld
 
getSatisfiers(NumberVar) - Method in class blog.DefaultEvalContext
 
getSatisfiers(NumberVar) - Method in interface blog.EvalContext
Returns the set of objects that satisfy the given POP in this world.
getSatisfiers(NumberVar) - Method in interface blog.PartialWorld
Returns the set of objects that satisfy the given POP application in this world.
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.AtomicFormula
 
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.ConjFormula
 
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.DisjFormula
 
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.EqualityFormula
 
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.ExistentialFormula
 
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.Formula
Returns the set of values for the logical variable subject that are consistent with the generating function values of genericObj and that make this formula true in the given context, if this set can be determined without enumerating possible values for subject.
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.ImplicFormula
 
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.NegFormula
 
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.TrueFormula
 
getSatisfiersIfExplicit(EvalContext, LogicalVar, GenericObject) - Method in class blog.UniversalFormula
 
getSatisfierSpec() - Method in class blog.ImplicitSetSpec
Returns a compiled version of the set represented by this ImplicitSetSpec.
getSatisfyingSet(PartialWorld) - Method in class blog.ImplicitSetSpec
Returns the set of objects o of type type such that when var is bound to o, the formula cond is satisfied in w.
getSaved() - Method in class blog.PartialWorldDiff
Returns the saved version of this world.
getSetSpec() - Method in class blog.CardinalitySpec
 
getSetSpec() - Method in class blog.SymbolEvidenceStatement
Returns the implicit set specification that defines the set of objects labeled by the symbols.
getSetToUse() - Method in class common.HashMultiMapDiff.ValueSet
 
getShortForms() - Method in class common.cmdline.AbstractOption
 
getShortForms() - Method in interface common.cmdline.Option
Returns the short (single-character) forms of this option.
getSig() - Method in class blog.Function
 
getSkolemConstant(String) - Method in class blog.Evidence
Returns the SkolemConstant object for the given symbol, or null if no such Skolem constant has been introduced.
getSkolemConstants() - Method in class blog.Evidence
Returns an unmodifiable List of the SkolemConstant objects introduced by this evidence, in the order they were introduced.
getSkolemConstants() - Method in class blog.SymbolEvidenceStatement
Returns a List of SkolemConstant objects representing the symbols introduced in this symbol evidence statement.
getStandardForm() - Method in class blog.ConjFormula
The standard form of a conjunction formula is just the conjunction of the standard forms of its conjuncts.
getStandardForm() - Method in class blog.DisjFormula
The standard form of a disjunction formula is just the disjunction of the standard forms of its disjuncts.
getStandardForm() - Method in class blog.ExistentialFormula
The standard form of an existential formula (exists x psi) is (exists x psi'), where psi' is the standard form of psi.
getStandardForm() - Method in class blog.Formula
Returns a new formula in which: occurrences of the formula "true" have been converted to empty conjunctions; implications have been converted to disjunctions; only literals (atomic and equality formulas) are negated.
getStandardForm() - Method in class blog.ImplicFormula
The standard form of an implication formula phi -> psi is the standard form of the equivalent formula !phi | psi.
getStandardForm() - Method in class blog.NegFormula
The standard form of a negation formula !psi is determined as follows.
getStandardForm() - Method in class blog.TrueFormula
The standard form of the formula "true" is an empty conjunction, which is always true.
getStandardForm() - Method in class blog.UniversalFormula
The standard form of a universal formula (forall x psi) is (forall x psi'), where psi' is the standard form of psi.
getStrictAncestors() - Method in class blog.Type
Returns the types that are strict ancestors of this type in the type graph.
getSubExprs() - Method in class blog.ArgSpec
Returns the proper sub-expressions of this ArgSpec.
getSubExprs() - Method in class blog.AtomicFormula
Returns a singleton collection containing the term in this atomic formula.
getSubExprs() - Method in class blog.CardinalitySpec
 
getSubExprs() - Method in class blog.EqualityFormula
 
getSubExprs() - Method in class blog.ExplicitSetSpec
 
getSubExprs() - Method in class blog.Formula
Returns the proper sub-expressions of this formula.
getSubExprs() - Method in class blog.FuncAppTerm
 
getSubExprs() - Method in class blog.ImplicitSetSpec
 
getSubExprs() - Method in class blog.TupleSetSpec
 
getSubformulas() - Method in class blog.ConjFormula
 
getSubformulas() - Method in class blog.DisjFormula
 
getSubformulas() - Method in class blog.ExistentialFormula
 
getSubformulas() - Method in class blog.Formula
Returns the proper subformulas of this formula.
getSubFormulas() - Method in class blog.ImplicFormula
 
getSubformulas() - Method in class blog.NegFormula
 
getSubformulas() - Method in class blog.UniversalFormula
 
getSubstResult(Substitution) - Method in class blog.ArgSpec
Returns the result of applying the given substitution to this expression.
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.ArgSpec
Returns the result of applying the substitution subst to this expression, excluding the logical variables in boundVars.
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.AtomicFormula
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.CardinalitySpec
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.ConjFormula
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.DisjFormula
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.EqualityFormula
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.ExistentialFormula
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.ExplicitSetSpec
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.FuncAppTerm
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.ImplicFormula
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.ImplicitSetSpec
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.LogicalVar
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.NegFormula
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.SymbolTerm
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.TrueFormula
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.TupleSetSpec
 
getSubstResult(Substitution, Set<LogicalVar>) - Method in class blog.UniversalFormula
 
getSymbolEvidence() - Method in class blog.Evidence
Returns an unmodifiable Collection of SymbolEvidenceStatement objects.
getTerm() - Method in class blog.AtomicFormula
 
getTerm1() - Method in class blog.EqualityFormula
 
getTerm2() - Method in class blog.EqualityFormula
 
getTermInScope(Model, Map) - Method in class blog.SymbolTerm
 
getTermInScope(Model, Map) - Method in class blog.Term
Returns an object representing this term in the given scope.
getTimeArg() - Method in class blog.FuncAppTerm
If the top-level function in this term is indexed by time, returns the argument that serves as the time index.
getTimeVar() - Method in class blog.RandomFunction
If this function is indexed by time, returns the variable that stands for its time argument in its dependency model.
getTopLevelTerms() - Method in class blog.AtomicFormula
 
getTopLevelTerms() - Method in class blog.EqualityFormula
 
getTopLevelTerms() - Method in class blog.Formula
Returns the terms that are part of this formula, but not part of any other term or formula within this formula.
getTotalWeight() - Method in class common.Histogram
Returns the sum of the weights of all objects in this histogram.
getType() - Method in class blog.BasicVar
Returns the type of object that can be a value for this variable.
getType(String) - Static method in class blog.BuiltInTypes
Returns the built-in type with the given name, or null if there is no such built-in type.
getType() - Method in class blog.EnumeratedObject
Returns this object's type.
getType() - Method in class blog.ExistentialFormula
Returns the type that the existential quantifier in this formula ranges over.
getType() - Method in class blog.FuncAppTerm
 
getType() - Method in class blog.GenericObject
 
getType() - Method in class blog.ImplicitSetSpec
 
getType() - Method in class blog.LogicalVar
Returns the type of this variable.
getType(String) - Method in class blog.Model
Returns the type information for the given type.
getType() - Method in class blog.NonGuaranteedObject
Returns the BLOG type of this non-guaranteed object.
getType() - Method in class blog.NumberVar
Returns the integer type.
getType() - Method in class blog.ObjectIdentifier
 
getType() - Method in class blog.RandFuncAppVar
Returns the return type of this variable's function.
getType() - Method in class blog.SymbolTerm
 
getType() - Method in class blog.Term
Returns the type of this term.
getType() - Method in class blog.UniversalFormula
Returns the type that the universal quantifier in this formula ranges over.
getTypes() - Method in class blog.Model
Returns the user-defined types in this model.
getUsageString() - Method in class common.cmdline.BooleanOption
 
getUsageString() - Method in class common.cmdline.DoubleOption
 
getUsageString() - Method in class common.cmdline.IntOption
 
getUsageString() - Method in interface common.cmdline.Option
Returns a string that documents the option.
getUsageString() - Method in class common.cmdline.PropertiesOption
 
getUsageString() - Method in class common.cmdline.StringListOption
 
getUsageString() - Method in class common.cmdline.StringOption
 
getValue(BayesNetVar) - Method in class blog.AbstractPartialWorld
 
getValue(PartialWorld) - Method in class blog.BasicVar
Returns the value of this basic variable in the given world.
getValue(PartialWorld) - Method in interface blog.BayesNetVar
Returns the value of this random variable in the given world.
getValue(List) - Method in class blog.ConstantInterp
 
getValue(BasicVar) - Method in class blog.DefaultEvalContext
 
getValue(PartialWorld) - Method in class blog.DerivedVar
Returns the value of this random variable in the given world.
getValue(EvalContext) - Method in class blog.DerivedVar
Returns the value of this random variable in the given context.
getValue(List) - Method in class blog.distrib.ListInterp
 
getValue(List) - Method in class blog.distrib.TabularInterp
 
getValue(List) - Method in class blog.distrib.VectorInRect
Returns Boolean.TRUE if the first element of args is a column vector (i.e., a Matrix with one column) in the specified rectangle; otherwise returns Boolean.FALSE.
getValue(BasicVar) - Method in interface blog.EvalContext
Returns the value of the given basic random variable in this partial world, or null if the given variable is not instantiated.
getValue(Object[], PartialWorld) - Method in class blog.Function
Returns the value of this function applied to the given tuple of arguments in the given partial world.
getValue(PartialWorld) - Method in class blog.Function
Returns the value of this function applied to an empty tuple of arguments in the given partial world (this method should be used only for zero-ary functions).
getValue(Object, Object, PartialWorld) - Method in class blog.Function
Returns the value of this function applied to the given pair of arguments in the given partial world (this method should be used only for binary functions).
getValue(List) - Method in interface blog.FunctionInterp
Returns the value of this function on the given tuple of arguments.
getValue(BasicVar) - Method in class blog.InstantiatingEvalContext
 
getValue() - Method in class blog.NonRandomFunction
 
getValue(Object[]) - Method in class blog.NonRandomFunction
 
getValue(PartialWorld) - Method in class blog.OriginVar
Returns the value of this random variable in the given world.
getValue(BasicVar) - Method in class blog.ParentRecEvalContext
 
getValue(BayesNetVar) - Method in interface blog.PartialWorld
Returns the value of the given variable in this partial world, or null if the given variable is an uninstantiated basic variable.
getValue(BasicVar) - Method in class blog.SimpleInstEvalContext
 
getValue() - Method in class blog.Timestep
 
getValue() - Method in class common.cmdline.BooleanOption
Returns the value specified on the command line for this option, or the default value if the option did not occur.
getValue() - Method in class common.cmdline.DoubleOption
Returns the value specified on the command line for this option, or the default value if the option did not occur.
getValue() - Method in class common.cmdline.IntOption
Returns the value specified on the command line for this option, or the default value if the option did not occur.
getValue() - Method in class common.cmdline.PropertiesOption
Returns a Properties object containing the key-value pairs that were specified for this option on the command line.
getValue() - Method in class common.cmdline.StringListOption
Returns the values specified on the command line for this option, or an empty list if the option did not occur.
getValue() - Method in class common.cmdline.StringOption
Returns the value specified on the command line for this option, or the default value if the option did not occur.
getValue() - Method in class common.DefaultMapEntry
 
getValueEvidence() - Method in class blog.Evidence
Returns an unmodifiable Collection of ValueEvidenceStatement objects.
getValueIfNonRandom() - Method in class blog.ArgSpec
Returns the value of this ArgSpec if it is non-random.
getValueInContext(Object[], EvalContext, boolean) - Method in class blog.Function
Returns the value of this function applied to the given tuple of arguments in the given context.
getValueInContext(Object[], EvalContext, boolean) - Method in class blog.NonRandomFunction
 
getValueInContext(Object[], EvalContext, boolean) - Method in class blog.OriginFunction
 
getValueInContext(Object[], EvalContext, boolean) - Method in class blog.RandomFunction
 
getValueSingleArg(Object, PartialWorld) - Method in class blog.Function
Returns the value of this function applied to the given single argument in the given partial world (this method should be used only for unary functions).
getValueSingleArg(Object) - Method in class blog.NonRandomFunction
 
getVariable() - Method in class blog.ArgSpec
Returns the (basic or derived) random variable that this argument specification corresponds to.
getVariable() - Method in class blog.AtomicFormula
Returns the (basic or derived) random variable that this atomic formula corresponds to under the given assignment.
getVariable() - Method in class blog.FuncAppTerm
Returns the (basic or derived) random variable that this function application term corresponds to.
getVariable() - Method in class blog.LogicalVar
 
getVariable() - Method in class blog.SymbolTerm
Returns the random variable that this term corresponds to.
getVariables() - Method in class blog.ArgSpecQuery
 
getVariables() - Method in interface blog.Query
Returns a collection of (basic or derived) random variables such that the result of this query depends only on the posterior joint distribution for these variables.
getVars() - Method in class blog.Substitution
 
getVarsWithArg(Object) - Method in class blog.AbstractPartialWorld
 
getVarsWithArg(Object) - Method in interface blog.PartialWorld
Returns the set of instantiated basic variables that have the given object as an argument.
getVarsWithChangedMultipliers() - Method in class blog.PartialWorldDiff
Returns the set of number variables that yield different probability multipliers in this world than they do in the saved world.
getVarsWithChangedProbs() - Method in class blog.PartialWorldDiff
Returns the Set of BayesNetVar objects V such that the probability P(V | parents(V)) is not the same in this world as in the saved world.
getVarsWithValue(Object) - Method in class blog.AbstractPartialWorld
 
getVarsWithValue(Object) - Method in interface blog.PartialWorld
Returns the set of basic variables that have the given object as their value in this world.
getWeight() - Method in class common.Histogram.Entry
Returns the weight of the object.
getWeight(Object) - Method in class common.Histogram
Returns the weight of the given object in this histogram.
getWitnessSpec() - Method in class blog.ExistentialFormula
Returns a CompiledSetSpec for the set of objects that are witnesses to this existential formula: that is, the objects that make the condition true.
GT - Static variable in class blog.BLOGTokenConstants
 
GT - Static variable in class blog.BuiltInFunctions
The GreaterThan relation on type Real (and its subtypes)
GUARANTEED - Static variable in class blog.BLOGTokenConstants
 

H

handleMissingVar(BayesNetVar) - Method in class blog.DefaultEvalContext
Handle the situation where an access method needs the value of the given variable, but it is not instantiated.
hasConstant() - Method in class blog.Substitution
 
hasDepModel() - Method in class blog.RandomFunction
 
hasFiniteGuaranteed() - Method in class blog.Type
Returns true if this type has a finite number of guaranteed objects.
hashCode() - Method in class blog.AtomicFormula
 
hashCode() - Method in class blog.CardinalitySpec
 
hashCode() - Method in class blog.ConjFormula
 
hashCode() - Method in class blog.DisjFormula
 
hashCode() - Method in class blog.EqualityFormula
 
hashCode() - Method in class blog.ExistentialFormula
 
hashCode() - Method in class blog.ExplicitSetSpec
 
hashCode() - Method in class blog.FuncAppTerm
 
hashCode() - Method in class blog.Function.Sig
 
hashCode() - Method in class blog.ImplicFormula
 
hashCode() - Method in class blog.ImplicitSetSpec
 
hashCode() - Method in class blog.NegFormula
 
hashCode() - Method in class blog.NumberVar
 
hashCode() - Method in class blog.OriginVar
 
hashCode() - Method in class blog.RandFuncAppVar
 
hashCode() - Method in class blog.Substitution
 
hashCode() - Method in class blog.SymbolTerm
 
hashCode() - Method in class blog.TrueFormula
 
hashCode() - Method in class blog.TupleSetSpec
 
hashCode() - Method in class blog.UniversalFormula
 
hashCode() - Method in class common.AbstractMultiset.Entry
 
hashCode() - Method in class common.AbstractMultiset
 
hashCode() - Method in class common.DefaultMapEntry
 
hashCode() - Method in class common.HashMultiMap
 
hashCode() - Method in class common.Histogram.Entry
 
HashMapDiff - Class in common
MapDiff implementation that uses a HashMap to store the values for changed keys, and a HashSet to store the removed keys.
HashMapDiff(Map) - Constructor for class common.HashMapDiff
Creates a new HashMapDiff with the given underlying map.
HashMapWithPreimages - Class in common
Implementation of MapWithPreimages that builds on a hash map from keys to values, augmenting it with a hash map from values to sets (preimages).
HashMapWithPreimages() - Constructor for class common.HashMapWithPreimages
Creates an empty map.
HashMapWithPreimages(Map) - Constructor for class common.HashMapWithPreimages
Creates a HashMapWithPreimages with the same mappings as the specified map.
HashMultiMap - Class in common
Implementation of the MultiMap interface that uses a HashMap for the map and HashSets for automatically created sets.
HashMultiMap() - Constructor for class common.HashMultiMap
Creates a new, empty HashMultiMap.
HashMultiMap(boolean) - Constructor for class common.HashMultiMap
Creates a new, empty HashMultiMap.
HashMultiMap(MultiMap) - Constructor for class common.HashMultiMap
Creates a new HashMultiMap that is equal to the given MultiMap.
HashMultiMap.ValueSet - Class in common
 
HashMultiMap.ValueSet(Object) - Constructor for class common.HashMultiMap.ValueSet
 
HashMultiMap.ValueSet.ValueSetIterator - Class in common
 
HashMultiMap.ValueSet.ValueSetIterator() - Constructor for class common.HashMultiMap.ValueSet.ValueSetIterator
 
HashMultiMapDiff - Class in common
Implementation of MultiMapDiff that uses a hash map from objects HashSetDiffs.
HashMultiMapDiff(MultiMap) - Constructor for class common.HashMultiMapDiff
Creates a new HashMultiMapDiff with the given underlying MultiMap.
HashMultiMapDiff(MultiMap, boolean) - Constructor for class common.HashMultiMapDiff
Creates a new HashMultiMapDiff with the given underlying MultiMap.
HashMultiMapDiff.ValueSet - Class in common
 
HashMultiset - Class in common
An implementation of the Multiset interface that uses a HashMap from elements to integers as the underlying data structure.
HashMultiset() - Constructor for class common.HashMultiset
Creates an empty HashMultiset.
HashMultiset(Collection) - Constructor for class common.HashMultiset
Creates a HashMultiset with the same multiset of elements as the given Collection.
HashSetDiff - Class in common
Implementation of SetDiff that uses hash sets to store additions and removals.
HashSetDiff(Set) - Constructor for class common.HashSetDiff
Creates a new HashSetDiff with the given underlying set.
HashSetDiff(Set, boolean) - Constructor for class common.HashSetDiff
Creates a new HashSetDiff with the given underlying set.
hasNext() - Method in class blog.AbstractObjectIterator
 
hasNext() - Method in class blog.DefaultObjectIterator
 
hasNext() - Method in class blog.WorldInProgress.UninstVarIterator
 
hasNext() - Method in class common.AbstractTupleIterator
Returns true if there are any more tuples to return.
hasNext() - Method in class common.AddedTupleIterator
 
hasNext() - Method in class common.FilteredIterator
 
hasNext() - Method in class common.HashMultiMap.ValueSet.ValueSetIterator
 
hasNext() - Method in class common.PermutationIterator
Returns true if there is a permutation that hasn't been returned yet.
hasNext() - Method in class common.SubsetIterator
Returns true if the set of size n has a subset that hasn't been returned yet.
hasNext() - Method in class common.TupleIterator
Returns true if there are any more elements in the Cartesian product to return.
headSet(Object) - Method in class common.IndexedTreeSet
 
headSet(Object) - Method in class common.IndexedTreeSetDiff
 
Heap - Interface in common
Collection with an extractMin for efficiently getting the minimum-cost element.
Heap.Entry - Interface in common
Interface for entries in a heap.
histogram - Variable in class blog.ArgSpecQuery
 
Histogram - Class in common
A mapping from objects to weights, which are real numbers.
Histogram() - Constructor for class common.Histogram
Creates an empty histogram.
Histogram(boolean) - Constructor for class common.Histogram
Creates an empty histogram.
Histogram.Entry - Class in common
Nested class for the entries in a histogram.
histOut() - Static method in class blog.Main
 

I

ID - Static variable in class blog.BLOGTokenConstants
 
identifierChanged(ObjectIdentifier, NumberVar, NumberVar) - Method in interface blog.WorldListener
Called when the assertion that a partial world makes about the given object identifier has changed.
idTypes - Variable in class blog.AbstractPartialWorld
 
IF - Static variable in class blog.BLOGTokenConstants
 
IGNORE_CASE - Static variable in class blog.distrib.StringEditModel
 
ImplicFormula - Class in blog
An implication formula alpha -> beta.
ImplicFormula(Formula, Formula) - Constructor for class blog.ImplicFormula
Creates a new ImplicFormula of the form antecedent -> consequent.
ImplicitSetSpec - Class in blog
Represents an argument - set with implicit specification of its elements.
ImplicitSetSpec(String, Type, Formula) - Constructor for class blog.ImplicitSetSpec
 
ImplicitSetSpec(LogicalVar, Formula) - Constructor for class blog.ImplicitSetSpec
 
ImplicitVector - Class in common
A sequence of floating-point numbers that is in principle infinite, but in which only a finite set of entries are represented explicitly.
ImplicitVector() - Constructor for class common.ImplicitVector
 
increaseWeight(Object, double) - Method in class common.Histogram
Increases the weight for the given object by the given amount.
increaseWeight(Object, double) - Method in class common.LogHistogram
Increases the weight of the given object by an amount whose logarithm is the given value.
incrementCount(Object) - Method in class common.SamplingMultiset
Increments the count for the given element.
IndexedHashMultiMap - Class in common
Implementation of the IndexedMultiMap interface.
IndexedHashMultiMap() - Constructor for class common.IndexedHashMultiMap
Creates a new, empty IndexedMultiMap.
IndexedHashMultiMap(IndexedMultiMap) - Constructor for class common.IndexedHashMultiMap
Creates a new IndexedMultiMap that is initially equal to the given IndexedMultiMap.
IndexedHashMultiMap.IndexedValueSet - Class in common
 
IndexedHashMultiMap.IndexedValueSet(Object) - Constructor for class common.IndexedHashMultiMap.IndexedValueSet
 
IndexedHashSet - Class in common
Implementation of the IndexedSet interface that stores objects in a list, and uses a HashMap to map objects to their indices.
IndexedHashSet() - Constructor for class common.IndexedHashSet
Creates a new, empty IndexedSet.
IndexedHashSet(Collection) - Constructor for class common.IndexedHashSet
Creates a new IndexedSet whose elements are those in the given collection, ordered according to the collection's iterator order.
IndexedHashSetDiff - Class in common
Implementation of the IndexedSet interface that is represented as a set of differences from an underlying IndexedSet.
IndexedHashSetDiff(IndexedSet) - Constructor for class common.IndexedHashSetDiff
Creates a new IndexedHashSetDiff with the given underlying IndexedSet.
IndexedMultiMap - Interface in common
Extension of the MultiMap interface in which the get returns an IndexedSet.
IndexedMultiMap.EmptyIndexedMultiMap - Class in common
 
IndexedMultiMap.EmptyIndexedMultiMap() - Constructor for class common.IndexedMultiMap.EmptyIndexedMultiMap
 
IndexedMultiMapDiff - Class in common
A MultiMapDiff implementation that also implements the IndexedMultiMap interface.
IndexedMultiMapDiff(IndexedMultiMap) - Constructor for class common.IndexedMultiMapDiff
Creates a new IndexedMultiMapDiff with the given underlying IndexedMultiMap.
IndexedMultiMapDiff.IndexedValueSet - Class in common
 
IndexedMultiMapDiff.IndexedValueSet(Object) - Constructor for class common.IndexedMultiMapDiff.IndexedValueSet
 
IndexedSet - Interface in common
Data structure that behaves like a set, except that its elements also have consecutive indices starting at zero.
IndexedSet.EmptyIndexedSet - Class in common
 
IndexedSet.EmptyIndexedSet() - Constructor for class common.IndexedSet.EmptyIndexedSet
 
IndexedSetDiff - Interface in common
Interface for objects that implement both the IndexedSet and the SetDiff interfaces.
IndexedSortedSet - Interface in common
Interface for collections that implement both IndexedSet and SortedSet.
IndexedTreeSet - Class in common
An implementation of the IndexedSet interface that keeps elements in sorted order.
IndexedTreeSet() - Constructor for class common.IndexedTreeSet
Creates an empty IndexedTreeSet that uses the natural ordering on its elements.
IndexedTreeSet(Comparator) - Constructor for class common.IndexedTreeSet
Creates an empty IndexedTreeSet that uses the given comparator.
IndexedTreeSet(Collection) - Constructor for class common.IndexedTreeSet
Creates an IndexedTreeSet that contains the same elements as the given collection and uses the natural ordering on the elements.
IndexedTreeSet(SortedSet) - Constructor for class common.IndexedTreeSet
Creates an IndexedTreeSet that contains the same elements as the given SortedSet and uses the same comparator.
IndexedTreeSetDiff - Class in common
Implementation of the IndexedSortedSet interface that is represented as a set of differences from an underlying IndexedSortedSet.
IndexedTreeSetDiff(IndexedSortedSet) - Constructor for class common.IndexedTreeSetDiff
Creates a new IndexedTreeSetDiff with the given underlying IndexedSortedSet.
indexMultipliers - Variable in class common.CartesianProduct
 
indexOf(Object) - Method in class blog.DefaultObjectSet
 
indexOf(Object) - Method in interface blog.ObjectSet
Returns the number which, when passed to sample, will yield the given element of this set.
indexOf(Object) - Method in class blog.POPAppBasedSet
 
indexOf(Object) - Method in class common.CartesianProduct
 
indexOf(Object) - Method in class common.IndexedHashMultiMap.IndexedValueSet
 
indexOf(Object) - Method in class common.IndexedHashSet
Returns the index of the given object in this IndexedSet, or -1 if this IndexedSet does not contain the given object.
indexOf(Object) - Method in class common.IndexedHashSetDiff
Returns the index of the given object in this IndexedSet, or -1 if this IndexedSet does not contain the given object.
indexOf(Object) - Method in class common.IndexedMultiMapDiff.IndexedValueSet
 
indexOf(Object) - Method in class common.IndexedSet.EmptyIndexedSet
 
indexOf(Object) - Method in interface common.IndexedSet
Returns the index of the given object in this IndexedSet, or -1 if this IndexedSet does not contain the given object.
indexOf(Object) - Method in class common.IndexedTreeSet
 
indexOf(Object) - Method in class common.IndexedTreeSetDiff
 
InferenceEngine - Class in blog
Abstract class representing a BLOG inference engine.
InferenceEngine(Model) - Constructor for class blog.InferenceEngine
Creates a new inference engine for the given BLOG model.
init_actions() - Method in class blog.BLOGParser
Action encapsulation object initializer.
initCharDistrib() - Method in class blog.distrib.StringEditModel
 
initialize(Evidence, List) - Method in class blog.GenericProposer
Set up the initial state.
initialize(Evidence, List) - Method in class blog.LWSampler
 
initialize(Evidence, List) - Method in class blog.MHSampler
 
initialize(Evidence, List) - Method in interface blog.Proposer
Returns a PartialWorldDiff whose current version serves as the initial state for the Markov chain (its saved version is initially an empty instantiation).
initialize(Evidence, List) - Method in class blog.RejectionSampler
 
initialize(Evidence, List) - Method in class blog.Sampler
Prepares this sampler to sample from the distribution conditioned on the given evidence, returning PartialWorld objects that are complete enough to answer the given queries.
initialize(Evidence, List) - Method in class blog.UrnBallsSplitMerge
Sets up the given PartialWorldDiff to serve as the initial state of a Markov chain.
initialize(Evidence, List) - Method in class blog.UrnBallsSplitMergeNoIds
Returns a PartialWorldDiff to serve as the initial state of a Markov chain.
initializeCompleteSampling() - Method in class blog.RejectionSampler
Alternative initialization method that does not specify any evidence or queries, but tells this object to generate complete worlds (possibly up to the bounds specified by the intBound and depthBound properties).
initialStateSampler - Variable in class blog.GenericProposer
 
initJumps(String) - Method in class blog.distrib.StringEditModelWithJumps
Figures out what jumps are allowed for the given input string, and calls addJump for each one.
initRandom(boolean) - Static method in class common.Util
Initializes the random number generator using either the clock time or a fixed seed.
InstantiatingEvalContext - Class in blog
Implementation of the EvalContext interface that instantiates new basic random variables as necessary in response to method calls.
InstantiatingEvalContext(PartialWorld) - Constructor for class blog.InstantiatingEvalContext
Creates a new InstantiatingEvalContext using the given world.
INT_CONST - Static variable in class blog.BLOGTokenConstants
 
INTEGER - Static variable in class blog.BuiltInTypes
Type for integers.
IntegerDist - Interface in common
 
intersection(Set<? extends T>, Set<? extends T>) - Static method in class common.Util
Returns an unmodifiable set equal to the intersection of the two given sets.
IntOption - Class in common.cmdline
Option that takes integer values.
IntOption(String, String, int, String) - Constructor for class common.cmdline.IntOption
Creates an integer option and registers it with the Parser class.
intValue() - Method in class blog.Timestep
 
Iota - Class in blog.distrib
CPD that takes a set of size one as an argument, and defines a probability distribution concentrated on the single element of that set.
Iota() - Constructor for class blog.distrib.Iota
Creates an Iota CPD.
Iota(List) - Constructor for class blog.distrib.Iota
Creates an Iota CPD.
IS_EMPTY_STRING - Static variable in class blog.BuiltInFunctions
A function that takes a string and returns true if the string is empty.
isBuiltIn() - Method in class blog.Type
Returns true if this is a built-in type.
isComplete() - Method in class blog.WorldInProgress
Returns true if every basic random variable whose arguments necessarily exist in this world is instantiated.
isConsistentInContext(EvalContext, Object) - Method in class blog.GenericObject
Returns true if the given object satisfies the origin function constraints imposed by this GenericObject, in the given context.
isConsistentInContext(EvalContext, Object) - Method in class blog.GenericPOPAppSatisfier
 
isConstantNull() - Method in class blog.SymbolTerm
 
isConstantNull() - Method in class blog.Term
Returns true if this term is the constant term that always denotes Model.NULL.
isCorefPair(Object, Object) - Method in class common.AbstractMapWithPreimages
 
isCorefPair(Object, Object) - Method in interface common.MapWithPreimages
Returns true if k1 and k2 are coreferent, that is, they are both keys that map to the same value.
isDetermined(PartialWorld) - Method in class blog.ArgSpec
Returns true if the given partial world is complete enough to determine the value of this ArgSpec.
isDetermined(PartialWorld) - Method in class blog.BasicVar
A basic random variable is determined if and only if it is instantiated.
isDetermined(PartialWorld) - Method in interface blog.BayesNetVar
Returns true if the given world is complete enough to determine the value of this random variable.
isDetermined(PartialWorld) - Method in class blog.DerivedVar
 
isDetermined(PartialWorld) - Method in class blog.Evidence
Returns true if the given partial world is complete enough to determine whether this evidence is true or false.
isDetermined(PartialWorld) - Method in class blog.OriginVar
Returns true if the given world is complete enough to determine the value of this random variable.
isDetermined(PartialWorld) - Method in class blog.SymbolEvidenceStatement
Returns true if the given partial world is complete enough to determine whether this symbol evidence statement is true: that is, it determines what objects satisfy this statement's set specification, and it instantiates all the symbols.
isDetermined(PartialWorld) - Method in class blog.ValueEvidenceStatement
Returns true if the given partial world is complete enough to determine whether this evidence statement is true or not.
isElementary() - Method in class blog.Formula
Returns true if this formula is elementary, that is, all its subformulas are literals or unnegated quantified formulas.
isEmpty() - Method in class blog.AbstractObjectSet
 
isEmpty() - Method in class common.AbstractMapWithPreimages
 
isEmpty() - Method in class common.BinaryHeap
Returns true if this heap has no entries.
isEmpty() - Method in class common.FibHeap
 
isEmptyInternal() - Method in class blog.AbstractObjectSet
Returns Boolean.TRUE if this set is empty, Boolean.FALSE if it is not empty, and null if the underlying partial world is not complete enough to determine whether the set is empty.
isExact() - Method in class blog.ObjGenGraph
Returns true if this ObjGenGraph exactly represents the set specified in its constructor: that is, all the objects returned by elementSet satisfy the constraints passed to the constructor.
isFinite() - Method in class blog.ObjGenGraph.GuaranteedNode
 
isFinite() - Method in class blog.ObjGenGraph.IntegerNode
 
isFinite() - Method in class blog.ObjGenGraph.Node
Returns true if every call to this node's iterator method returns an iterator over a finite set.
isFinite() - Method in class blog.ObjGenGraph.OrNode
 
isFinite() - Method in class blog.ObjGenGraph.POPNode
 
isFinite() - Method in class blog.ObjGenGraph.TermNode
 
isGivenTime(LogicalVar, Term) - Static method in class blog.Timestep
Returns true if term is exactly the logical variable timeVar.
isGoodValue(Object) - Method in class common.FilteredMapIterator
 
isInstantiated(BasicVar) - Method in class blog.InstantiatingEvalContext
 
isInstantiated(BasicVar) - Method in class blog.SimpleInstEvalContext
 
isLiteral() - Method in class blog.AtomicFormula
Returns true.
isLiteral() - Method in class blog.EqualityFormula
Returns true.
isLiteral() - Method in class blog.Formula
Returns true if this formula is a literal, that is, an atomic/equality formula or the negation thereof.
isLiteral() - Method in class blog.NegFormula
Returns true if the negated formula is an atomic formula or an equality formula.
isLogicalVar() - Method in class blog.SymbolTerm
Returns true if this SymbolTerm is an occurrence of a logical variable.
isNumeric() - Method in class blog.ArgSpec
Returns true if the value of this ArgSpec is always an instance of Number (regardless of scope).
isNumeric() - Method in class blog.CardinalitySpec
 
isNumeric() - Method in class blog.Term
 
isOneToOneOn(Collection<LogicalVar>) - Method in class blog.Substitution
Returns true if this substitution, restricted to the given variables, is one-to-one.
isOverloaded(NumberVar) - Method in class blog.AbstractPartialWorld
 
isOverloaded(NumberVar) - Method in interface blog.PartialWorld
Returns true if the given POP application is overloaded: that is, the number of identifiers that are asserted to satisfy it is greater than the value of the corresponding number variable, or some identifiers are asserted to satisfy it and its number variable is not instantiated.
isPrevTime(LogicalVar, Term) - Static method in class blog.Timestep
Returns true if term is an application of the built-in function BuiltInFunctions.PREV to a term for which isGivenTime returns true, or has the form t - 1 where isGivenTime(t) returns true.
isQuantified() - Method in class blog.ExistentialFormula
 
isQuantified() - Method in class blog.Formula
Returns true if this is a quantified formula.
isQuantified() - Method in class blog.UniversalFormula
 
isSubtypeOf(Type) - Method in class blog.Type
Returns true if this type is a subtype of the given type.
isTimeIndexed() - Method in class blog.Function
Returns true if this function is indexed by time, that is, it has a final argument of type Timestep.
isTrue(PartialWorld) - Method in class blog.Evidence
Returns true if this evidence is true in the given world; otherwise false.
isTrue(PartialWorld) - Method in class blog.Formula
Returns the logical value of this formula in the given partial world.
isTrue(PartialWorld) - Method in class blog.SymbolEvidenceStatement
Returns true if this symbol evidence statement is true in the given world: that is, its satisfying set has the right number of elements, and all of its symbols (if they are instantiated) refer to distinct elements of that set.
isTrue(PartialWorld) - Method in class blog.ValueEvidenceStatement
Returns true if, in this function evidence statement, the function application term and the output constant symbol have the same denotation in the given world.
iter - Variable in class common.HashMultiMap.ValueSet.ValueSetIterator
 
iterator() - Method in class blog.AbstractObjectSet
Returns the iterator obtained by calling iterator(Collections.EMPTY_SET): that is, an iterator that recognizes no externally distinguished objects.
iterator(Set) - Method in class blog.DefaultObjectSet
 
iterator(Set) - Method in interface blog.ObjectSet
Returns an ObjectIterator whose skipIndistinguishable method treats all of the given objects as distinguishable from all other objects, even if they are indistinguishable in the underlying partial world.
iterator(EvalContext, Set, boolean, Map, Map, boolean) - Method in class blog.ObjGenGraph.GuaranteedNode
 
iterator(EvalContext, Set, boolean, Map, Map, boolean) - Method in class blog.ObjGenGraph.IntegerNode
 
iterator(EvalContext) - Method in class blog.ObjGenGraph
Returns an iterator over the set of objects that satisfy the target node in the given context.
iterator(EvalContext, Set, boolean) - Method in class blog.ObjGenGraph
Returns an iterator over the set of objects that satisfy the target node in the given context.
iterator(EvalContext, Set, boolean, Map, Map, boolean) - Method in class blog.ObjGenGraph.Node
Returns an iterator over the objects that satisfy this node in the given context.
iterator(EvalContext, Set, boolean, Map, Map, boolean) - Method in class blog.ObjGenGraph.OrNode
 
iterator(EvalContext, Set, boolean, Map, Map, boolean) - Method in class blog.ObjGenGraph.POPNode
 
iterator(EvalContext, Set, boolean, Map, Map, boolean) - Method in class blog.ObjGenGraph.TermNode
 
iterator(Set) - Method in class blog.POPAppBasedSet
 
iterator() - Method in class common.BinaryHeap
Returns an iterator over the Heap.Entry objects in this heap.
iterator() - Method in class common.CartesianProduct
 
iterator() - Method in class common.DefaultReferenceHistogram
 
iterator() - Method in class common.ExtensibleLinkedList
 
iterator() - Method in class common.FibHeap
Returns an iterator over the Heap.Entry objects in this heap.
iterator() - Method in class common.HashMultiMap.ValueSet
 
iterator() - Method in class common.HashMultiMapDiff.ValueSet
 
iterator() - Method in class common.HashMultiset
Returns an iterator over this multiset.
iterator() - Method in class common.HashSetDiff
 
iterator() - Method in class common.IndexedHashSet
 
iterator() - Method in class common.IndexedHashSetDiff
Returns an iterator that is robust to additions to this IndexedSetDiff and additions to the underlying set.
iterator() - Method in class common.IndexedSet.EmptyIndexedSet
 
iterator() - Method in class common.IndexedTreeSet
 
iterator() - Method in class common.IndexedTreeSetDiff
 
iterator() - Method in class common.MultisetBackedSet
Returns an iterator over the elements of this set.
iterator() - Method in interface common.ReferenceHistogram
Allows iteration over the objects that have at least one reference.
iterator() - Method in class common.SetBackedMultiset
Returns an iterator over this multiset.
iterator() - Method in class common.WeakHashSet
 
ithExplicitIndex(int) - Method in class common.DenseVector
 
ithExplicitIndex(int) - Method in class common.ImplicitVector
Returns the ith explicitly represented index in this vector.
ithExplicitIndex(int) - Method in class common.SparseVector
 
ithExplicitValue(int) - Method in class common.DenseVector
 
ithExplicitValue(int) - Method in class common.ImplicitVector
Returns the value at the ith explicitly represented index.
ithExplicitValue(int) - Method in class common.SparseVector
 

J

join(String, String) - Static method in class common.Util
Returns the string formed by concatenating the two given strings, with a space in between if both strings are non-empty.

K

key - Variable in class common.HashMultiMap.ValueSet
 
key - Variable in class common.HashMultiMapDiff.ValueSet
 
keySet() - Method in class common.AbstractMapWithPreimages
 
keySet() - Method in class common.HashMultiMap
 

L

last() - Method in class common.IndexedTreeSet
 
last() - Method in class common.IndexedTreeSetDiff
 
latestUninstParent - Variable in class blog.ParentRecEvalContext
 
LBRACE - Static variable in class blog.BLOGTokenConstants
 
LBRACKET - Static variable in class blog.BLOGTokenConstants
 
LEQ - Static variable in class blog.BLOGTokenConstants
 
LEQ - Static variable in class blog.BuiltInFunctions
The LessThanOrEqual relation on type Real (and its subtypes).
LETTER_PROB - Static variable in class blog.distrib.StringEditModel
 
LETTERS - Static variable in class blog.distrib.StringEditModel
 
lgamma(double) - Static method in class blog.distrib.Gamma
 
LinearGaussian - Class in blog.distrib
Multivariate Gaussian distribution whose mean is an affine function of some vector-valued parents.
LinearGaussian(List) - Constructor for class blog.distrib.LinearGaussian
Takes a parameter list whose first element is a 1xd mean matrix, second element is a dxc regression matrix (where c is the sum of the dimensions of the parent vectors), and third element is a dxd covariance matrix.
listeners - Variable in class blog.AbstractPartialWorld
 
ListInterp - Class in blog.distrib
An interpretation for a Boolean function symbol, specified by a list of tuples for which the function returns true.
ListInterp(int) - Constructor for class blog.distrib.ListInterp
Creates a new ListInterp object with an empty list of tuples on which the function returns true.
ListInterp(List) - Constructor for class blog.distrib.ListInterp
Creates a new ListInterp object with a specified list of tuples on which the function returns true.
listIterator() - Method in class common.CartesianProduct
 
listIterator(int) - Method in class common.CartesianProduct
 
location - Variable in class blog.ArgSpec
 
LocationInFile - Class in common
Represents a file name and a line number in that file.
LocationInFile(String, int) - Constructor for class common.LocationInFile
Creates a new LocationInFile object with the given file name and line number.
LOG - Static variable in class blog.distrib.Categorical
Value that can be bitwise or'ed with a flag argument to indicate that the weights are given as (natural) logs.
logFactorial(int) - Static method in class common.Util
Returns the log of the factorial of n.
LogHistogram - Class in common
A histogram that stores the logs of the weights of its elements, rather than the weights themselves.
LogHistogram() - Constructor for class common.LogHistogram
Creates a new LogHistogram with no elements.
LogHistogram(boolean) - Constructor for class common.LogHistogram
Creates a new LogHistogram with no elements.
LogicalVar - Class in blog
A logical variable.
LogicalVar(String, Type) - Constructor for class blog.LogicalVar
Creates a new LogicalVar with the given name and type.
logicalVars - Variable in class blog.BLOGParser.VarsWithConstraint
 
logPartialFactorial(int, int) - Static method in class common.Util
Returns log(n! / (n-m)!), that is, the log of the product of the first m factors in the factorial of n.
logProbBackward - Variable in class blog.GenericProposer
 
logProbForward - Variable in class blog.GenericProposer
 
logResults(int) - Method in class blog.AbstractQuery
If a log file has been specified, prints the results so far to that file.
logResults(int) - Method in class blog.ArgSpecQuery
 
logResults(int) - Method in class blog.FormulaQuery
 
logResults(int) - Method in interface blog.Query
If a log file has been specified, prints the results so far to that file.
logSum(double, double) - Static method in class common.Util
Addition in the log domain.
longForms - Variable in class common.cmdline.AbstractOption
List of String objects that are long forms of this option.
longValue() - Method in class blog.Timestep
 
LPAREN - Static variable in class blog.BLOGTokenConstants
 
LT - Static variable in class blog.BLOGTokenConstants
 
LT - Static variable in class blog.BuiltInFunctions
The LessThan relation on type Real (and its subtypes).
LWSampler - Class in blog
A likelihood weighting sampler.
LWSampler(Model, Properties) - Constructor for class blog.LWSampler
Creates a new sampler that for the given BLOG model.

M

main(String[]) - Static method in class blog.distrib.StringEditModel
Test program.
Main - Class in blog
Main program for the BLOG (Bayesian Logic) inference engine.
Main() - Constructor for class blog.Main
 
main(String[]) - Static method in class blog.Main
 
main(String[]) - Static method in class blog.ParticleFilterTest
 
main(String[]) - Static method in class common.BinaryHeap
Test program.
main(String[]) - Static method in class common.BipartiteMatcher
 
main(String[]) - Static method in class common.CartesianProduct
 
main(String[]) - Static method in class common.cmdline.Parser
Test program.
main(String[]) - Static method in class common.FibHeap
Test program.
main(String[]) - Static method in class common.HashMultiset
Test program
main(String[]) - Static method in class common.IndexedHashSet
Test program.
main(String[]) - Static method in class common.IndexedHashSetDiff
Test program.
main(String[]) - Static method in class common.IndexedTreeSet
Test program.
main(String[]) - Static method in class common.IndexedTreeSetDiff
Test program.
main(String[]) - Static method in class common.PermutationIterator
 
main(String[]) - Static method in class common.SparseVector
Test program.
main(String[]) - Static method in class common.SubsetIterator
 
main(String[]) - Static method in class common.SubstringReplacer
 
main(String[]) - Static method in class common.TabularReader
Test program: given a filename, read it as a tabular file and print it in a comma-separated format.
main(String[]) - Static method in class common.TupleIterator
Test program.
maintainOrder - Variable in class common.HashMultiMap
 
makeEqual(Term, Term) - Method in class blog.Substitution
Adds the given mapping to this substitution, and keeps the substitution in normal form (so that the rewrites can be applied in any order).
makeNew() - Method in class blog.LogicalVar
 
makeOverlapSubst(Term, Substitution) - Method in class blog.FuncAppTerm
 
makeOverlapSubst(Term, Substitution) - Method in class blog.LogicalVar
 
makeOverlapSubst(Term, Substitution) - Method in class blog.SymbolTerm
 
makeOverlapSubst(Term) - Method in class blog.Term
Function for computing a substitution that will make the two terms overlap.
makeOverlapSubst(Term, Substitution) - Method in class blog.Term
Function for computing a substitution that will make the two terms overlap.
makeReaders(Collection) - Static method in class blog.Main
 
map - Variable in class blog.Substitution
 
map - Variable in class common.AbstractMapWithPreimages
The map itself.
map - Variable in class common.HashMultiMap
 
MapDiff - Interface in common
A map that is represented as a set of changes to some underlying map.
MapWithPreimages - Interface in common
An extension of the Map interface that provides efficient access to the pre-image of a value in the map.
MapWithPreimages.EmptyMapWithPreimages - Class in common
 
MapWithPreimagesDiff - Class in common
Represents a map with preimages as a set of differences relative to an underlying map with preimages.
MapWithPreimagesDiff(MapWithPreimages) - Constructor for class common.MapWithPreimagesDiff
Creates a MapWithPreimagesDiff with the given underlying MapWithPreimages.
MatrixType - Class in blog
Represents a matrix or vector type.
MatrixType(String, int, int, Type) - Constructor for class blog.MatrixType
 
maxExplicitIndex() - Method in class common.ImplicitVector
Returns the largest index at which a value is explicitly stored.
maxRecall - Static variable in class blog.DecayedProposer
 
mean(Collection) - Static method in class common.Util
Returns the mean of a collection of objects assumed to be Numbers.
MHSampler - Class in blog
Generates samples from a Markov chain over possible worlds using a Metropolis-Hastings algorithm.
MHSampler(Model, Properties) - Constructor for class blog.MHSampler
Creates a new sampler for the given BLOG model.
MINUS - Static variable in class blog.BuiltInFunctions
The function on integers x, y that returns x - y.
MixtureDistrib - Class in blog.distrib
A mixture of conditional probability distributions.
MixtureDistrib(CondProbDistrib[], double[]) - Constructor for class blog.distrib.MixtureDistrib
Creates a new MixtureDistrib that combines the given distributions according to the given probabilities.
model() - Method in class blog.BLOGParser
Returns the model that this parser is using.
model - Variable in class blog.BLOGParser.ModelEvidenceQueries
 
model - Variable in class blog.GenericProposer
 
model - Variable in class blog.InferenceEngine
The BLOG model on which this engine performs inference.
Model - Class in blog
This class contains all the information available about the structure of the model.
Model() - Constructor for class blog.Model
Class constructor.
model - Variable in class blog.Sampler
BLOG model for which this sampler generates partial worlds.
moveToBackground(Long) - Method in class common.ReferenceHistogramPair
Moves one reference referring to the given object from the foreground to the background.
moveToForeground(Long) - Method in class common.ReferenceHistogramPair
Moves one reference referring to the given object from the background to the foreground.
multichoose(int, int) - Static method in class common.Util
Returns the number of ways to make k choices from a set of n bins, where the same bin may be chosen multiple times.
MultiMap - Interface in common
A map where keys are mapped to non-empty Set objects.
MultiMap.EmptyMultiMap - Class in common
 
MultiMap.EmptyMultiMap() - Constructor for class common.MultiMap.EmptyMultiMap
 
MultiMapDiff - Interface in common
A MultiMap that is represented as a set of changes to some underlying MultiMap.
Multinomial - Class in common
A distribution over a finite set of elements 0, 1, ..., k, specified with an array of k probabilities pi_0,...,pi_k summing to 1.
Multinomial(int) - Constructor for class common.Multinomial
Creates a Multinomial object representing the uniform distribution over k elements.
Multinomial(double[]) - Constructor for class common.Multinomial
Creates a Multinomial object with probabilities specified by the given array.
MultinomialWithTail - Class in common
A mixture of a multinomial over the first k natural numbers 0,...,(k-1), and a geometric distribution over the numbers >= k.
MultinomialWithTail(int) - Constructor for class common.MultinomialWithTail
Creates a MultinomialWithTail with the given k.
MultinomialWithTail(double[], double, double) - Constructor for class common.MultinomialWithTail
Creates a MultinomialWithTail with the given array of probabilities for the multinomial distribution, and the given lambda and alpha values.
MULTIPLE_FUNCTIONS - Static variable in class blog.Model
Value returned by getRandomFunc when there are multiple random functions with the given name.
Multiset - Interface in common
A multiset is like a set, except that it can include multiple copies of an element.
Multiset.Entry - Interface in common
Interface for objects that represent entries in a multiset.
MultisetBackedSet - Class in common
An unmodifiable Set that is backed by a Multiset.
MultisetBackedSet(Multiset) - Constructor for class common.MultisetBackedSet
Creates a new MultisetBackedSet backed by the given multiset.
MultivarGaussian - Class in blog.distrib
Gaussian (normal) distribution over real vectors of some fixed dimensionality d.
MultivarGaussian(Matrix, Matrix) - Constructor for class blog.distrib.MultivarGaussian
Creates a new MultivarGaussian distribution with the given mean vector and covariance matrix.
MultivarGaussian(List) - Constructor for class blog.distrib.MultivarGaussian
Sets mean and covariance and ensures that their dimensions match.

N

name - Variable in class blog.Function.Sig
 
NatNumDistribWithTail - Class in blog.distrib
A mixture of an explicit distribution over the first k natural numbers 0,...,(k-1), and a geometric distribution over the numbers greater than or equal to k.
NatNumDistribWithTail(double[], double, double) - Constructor for class blog.distrib.NatNumDistribWithTail
Creates a NatNumDistribWithTail with the given array of probabilities for the multinomial distribution, and the given lambda and alpha values.
NatNumDistribWithTail(List) - Constructor for class blog.distrib.NatNumDistribWithTail
Creates a new NatNumDistribWithTail with the following three parameters: a k-by-1 matrix specifying a probability distribution over the first k natural numbers the probability of generating a number less than k the success probability of the geometric distribution for values greater than or equal to k
NATURAL_NUM - Static variable in class blog.BuiltInTypes
Type for natural numbers.
NEG - Static variable in class blog.BLOGTokenConstants
 
NegativeBinomial - Class in blog.distrib
A Negative Binomial distribution with parameters k (number of successes) and p (probability of a success at a given trial).
NegativeBinomial(List) - Constructor for class blog.distrib.NegativeBinomial
Creates a new instance of the NegativeBinomial with parameters k and p.
NegFormula - Class in blog
Represents a logical negation of an expression of type Formula.
NegFormula(Formula) - Constructor for class blog.NegFormula
 
NEQ - Static variable in class blog.BLOGTokenConstants
 
newDiff(Set) - Method in class common.HashMultiMapDiff
 
newDiff(Set) - Method in class common.IndexedMultiMapDiff
 
newSet() - Method in class common.HashMultiMap
 
newSet() - Method in class common.HashSetDiff
 
newSet() - Method in class common.IndexedHashMultiMap
 
next() - Method in class blog.AbstractObjectIterator
 
next() - Method in class blog.DefaultObjectIterator
 
next() - Method in class blog.Timestep
 
next() - Method in class blog.WorldInProgress.UninstVarIterator
Always returns an object of class VarWithDistrib.
next() - Method in class common.AbstractTupleIterator
Returns another tuple not returned previously.
next() - Method in class common.AddedTupleIterator
 
next() - Method in class common.FilteredIterator
 
next() - Method in class common.HashMultiMap.ValueSet.ValueSetIterator
 
next() - Method in class common.PermutationIterator
Returns the next permutation.
next() - Method in class common.SubsetIterator
Returns a BitSet representing a subset that hasn't been returned yet.
next() - Method in class common.TupleIterator
Returns another tuple not returned previously.
next_token() - Method in class blog.BLOGLexer
 
nextCreationIndex() - Static method in class blog.Model
Returns a number that is one greater than the last number returned by this method.
nextSample() - Method in class blog.LWSampler
Generates the next partial world and computes its weight.
nextSample() - Method in class blog.MHSampler
Generates the next world in the Markov chain.
nextSample(PartialWorld) - Method in class blog.MHSampler
Samples from some given world, leaving the current world in sampler undisturbed.
nextSample() - Method in class blog.RejectionSampler
 
nextSample() - Method in class blog.Sampler
Generates the next sample (world), and possibly assigns it a weight.
nextSample() - Method in class common.Util.InversePolynomialSampler
 
NO_FLAGS - Static variable in class blog.distrib.Categorical
Value for constructor's flag argument indicating that all flags are false.
nodes() - Method in class blog.ObjGenGraph
 
nodes() - Method in class common.DefaultDGraph
Returns an unmodifiable set consisting of the nodes in this graph.
nodes() - Method in interface common.DGraph
Returns an unmodifiable set consisting of the nodes in this graph.
nodes() - Method in class common.ParentUpdateDGraph
 
NON_NEG_PART - Static variable in class blog.BuiltInFunctions
A function from integers to natural numbers that yields the non-negative part of the given integer x: that is, min(x, 0).
NonGuaranteedObject - Class in blog
 
NONRANDOM - Static variable in class blog.BLOGTokenConstants
 
NonRandomFunction - Class in blog
Represents the symbol for a non-random function, whose value for the given tuple of arguments is constant over worlds.
NonRandomFunction(String, Type) - Constructor for class blog.NonRandomFunction
Creates a non-random constant with the given name and type.
NonRandomFunction(String, List, Type) - Constructor for class blog.NonRandomFunction
 
NonRandomFunction(String, List, Type, Class, List) - Constructor for class blog.NonRandomFunction
 
NonRandomFunction(String, List, Type, FunctionInterp) - Constructor for class blog.NonRandomFunction
 
normalize(String) - Static method in class common.Util
Given a string, returns a version of that string where all letters have been converted to lower case, and all characters that are not letters or digits have been removed.
NORMALIZED - Static variable in class blog.distrib.Categorical
Value that can be bitwise or'ed with a flag argument to indicate that the given weights are normalized (sum to 1).
NOT_EXPLICIT - Static variable in class blog.Formula
Special value returned by getSatisfiersIfExplicit and GetNonSatisfiersIfExplicit to indicate that the desired set cannot be determined without iterating over possible values of the subject variable.
notifyReverted() - Method in interface blog.WorldDiffListener
Called when the revert method is called on the PartialWorldDiff.
notifySaved() - Method in interface blog.WorldDiffListener
Called when the save method is called on the PartialWorldDiff.
NULL - Static variable in class blog.BuiltInFunctions
Constant that always denotes Model.NULL.
NULL - Static variable in class blog.BuiltInTypes
Type for the built-in constant "null".
NULL - Static variable in class blog.Model
The BLOG null value.
NullaryFunction - Interface in common
The interface of a nullary function, useful for anonymous classes used as Lambda operators.
numAcceptedThisTrial - Variable in class blog.MHSampler
 
numBasicEvidenceVars - Variable in class blog.GenericProposer
 
numberOfChoices - Variable in class blog.GenericProposer.PickVarToSampleResult
 
NumberVar - Class in blog
A number random variable.
NumberVar(POP, List) - Constructor for class blog.NumberVar
Creates a new NumberVar for the given POP and given tuple of generating objects.
NumberVar(POP, Object[]) - Constructor for class blog.NumberVar
Creates a new NumberVar for the given POP and given tuple of generating objects.
NumberVar(POP, Object[], boolean) - Constructor for class blog.NumberVar
Creates a new NumberVar for the given POP and given tuple of generating objects.
numCorefPairs() - Method in class common.AbstractMapWithPreimages
 
numCorefPairs() - Method in interface common.MapWithPreimages
Returns the number of two-element sets of objects {k1, k2} such that isCorefPair(k1, k2) returns true.
numExplicit() - Method in class common.DenseVector
 
numExplicit() - Method in class common.ImplicitVector
Returns the number of explicitly represented entries in this vector.
numExplicit() - Method in class common.SparseVector
 
numGenerated(PartialWorld) - Method in class blog.NumberVar
Returns the number of objects generated by this POP on this tuple of generating objects in the given world.
numInitialStateTriesThisTrial - Variable in class blog.GenericProposer
 
numReferencedObjects() - Method in class common.DefaultReferenceHistogram
 
numReferencedObjects() - Method in interface common.ReferenceHistogram
Returns the number of objects with at least one reference.
numSamples() - Static method in class blog.Main
 
numSamplesThisTrial - Variable in class blog.MHSampler
 
NUMSIGN - Static variable in class blog.BLOGTokenConstants
 
numTimeSlicesInMemory - Variable in class blog.Particle
 
numTrials - Variable in class blog.GenericProposer
 
numTrials() - Static method in class blog.Main
 
numTrials - Variable in class blog.MHSampler
 

O

objectExists(Object) - Method in class blog.DefaultEvalContext
 
objectExists(Object) - Method in interface blog.EvalContext
Returns Boolean.TRUE if obj exists in all worlds consistent with this context's partial world.
ObjectIdentifier - Class in blog
An identifier for a non-guaranteed object in a PartialWorld.
ObjectIdentifier(Type) - Constructor for class blog.ObjectIdentifier
Creates a new ObjectIdentifier for an object of the given type.
ObjectIterator - Interface in blog
Iterator over an ObjectSet.
ObjectSet - Interface in blog
Interface for sets of objects in a partial world.
ObjGenGraph - Class in blog
An object generation graph contains nodes that represent sets of objects with certain generation histories.
ObjGenGraph(Type) - Constructor for class blog.ObjGenGraph
Creates an object generation graph where the target node is satisfied by all objects of the given type.
ObjGenGraph(Type, LogicalVar, List, Set) - Constructor for class blog.ObjGenGraph
Creates an object generation graph where the target node is satisfied by all objects of the given type that satisfy all the given constraints when bound to subjectVar.
ObjGenGraph(Type, LogicalVar, List) - Constructor for class blog.ObjGenGraph
Creates an object generation graph where the set of free variables consists of just the subject variable.
ObjGenGraph.GuaranteedNode - Class in blog
 
ObjGenGraph.IntegerNode - Class in blog
 
ObjGenGraph.IntegerNode() - Constructor for class blog.ObjGenGraph.IntegerNode
 
ObjGenGraph.Node - Class in blog
 
ObjGenGraph.Node() - Constructor for class blog.ObjGenGraph.Node
 
ObjGenGraph.OrNode - Class in blog
 
ObjGenGraph.POPNode - Class in blog
Node satisfied by the set of objects that satisfy a given potential object pattern (POP).
ObjGenGraph.TermNode - Class in blog
Node satisfied only by the denotation of the given term.
ObjGenGraph.TimestepNode - Class in blog
 
ObjGenGraph.TimestepNode() - Constructor for class blog.ObjGenGraph.TimestepNode
 
objToUsesAsArg - Variable in class blog.AbstractPartialWorld
Map from objects to the instantiated BasicVars that use them as arguments.
objToUsesAsArgMap() - Method in class blog.AbstractPartialWorld
 
objToUsesAsArgMap() - Method in interface blog.PartialWorld
MultiMap from objects to the instantiated BasicVars that have them as arguments.
objToUsesAsValue - Variable in class blog.AbstractPartialWorld
Map from objects to the instantiated BasicVars that have them as values.
objToUsesAsValueMap() - Method in class blog.AbstractPartialWorld
 
objToUsesAsValueMap() - Method in interface blog.PartialWorld
MultiMap from objects to the instantiated BasicVars that have them as values.
OBS - Static variable in class blog.BLOGTokenConstants
 
occurred - Variable in class common.cmdline.AbstractOption
True if recordOccurrence has already been called on this option.
omerrs - Variable in class blog.BLOGParser
 
ONE - Static variable in class blog.BuiltInFunctions
Constant that denotes the natural number 1.
Option - Interface in common.cmdline
Interface for command line options.
OR - Static variable in class blog.BLOGTokenConstants
 
originFuncName - Variable in class blog.BLOGParser.GenObjSpec
 
originFuncs() - Method in class blog.POP
 
OriginFunction - Class in blog
Represents a BLOG generating function.
OriginFunction(String, List, Type) - Constructor for class blog.OriginFunction
 
OriginVar - Class in blog
A variable whose value is the POP application satisfied by a given object identifier.
OriginVar(ObjectIdentifier) - Constructor for class blog.OriginVar
Creates a new variable representing the origin of the given object identifier.
outputFile - Variable in class blog.ArgSpecQuery
 
outputFiles - Variable in class blog.ArgSpecQuery
 
outputInterval() - Static method in class blog.Main
 
outputPath() - Static method in class blog.Main
 
overlapsWith(Type[]) - Method in class blog.Function
Returns true if this function could apply to some tuple of non-null objects with the given types.

P

params - Variable in class blog.BLOGParser.CPDSpec
 
params - Variable in class blog.BLOGParser.PotentialSpec
 
ParentRecEvalContext - Class in blog
Implementation of the EvalContext interface that records the basic random variables used by calls to the access methods.
ParentRecEvalContext(PartialWorld) - Constructor for class blog.ParentRecEvalContext
Creates a new ParentRecEvalContext using the given world.
ParentRecEvalContext(PartialWorld, boolean) - Constructor for class blog.ParentRecEvalContext
Creates a new ParentRecEvalContext using the given world.
parents - Variable in class blog.ParentRecEvalContext
 
ParentUpdateDGraph - Class in common
Directed graph that is backed by an underlying DGraph, but represents changes to the set of nodes and to the parent sets of some existing nodes (and thus to the child sets of some nodes as well).
ParentUpdateDGraph(DGraph) - Constructor for class common.ParentUpdateDGraph
Creates a new ParentUpdateDGraph that represents no changes to the given underlying graph.
PARFACTOR - Static variable in class blog.BLOGTokenConstants
 
parfactors - Variable in class blog.Model
Parfactors, in the order they were defined.
parse(String[]) - Static method in class common.cmdline.Parser
Parses the given array of command line arguments.
Parser - Class in common.cmdline
Parses options on a command line.
parseReader(Model, Evidence, List, boolean, Reader, String, boolean) - Static method in class blog.BLOGParser
 
ParserUtilities - Class in blog
 
ParserUtilities() - Constructor for class blog.ParserUtilities
 
parseString(String) - Static method in class blog.BLOGParser
 
parseString(Model, String) - Static method in class blog.BLOGParser
 
PartialWorld - Interface in blog
A partial description of a possible world in a BLOG model.
PartialWorld.EmptyPartialWorld - Class in blog
 
PartialWorldDiff - Class in blog
Represents a PartialWorld as a set of differences relative to an underlying "saved" PartialWorld.
PartialWorldDiff(PartialWorld) - Constructor for class blog.PartialWorldDiff
Creates a new PartialWorldDiff with the given underlying world.
PartialWorldDiff(PartialWorld, PartialWorld) - Constructor for class blog.PartialWorldDiff
Creates a new PartialWorldDiff whose underlying world is underlying, and whose current version is set equal to toCopy.
Particle - Class in blog
A Particle for Particle Filtering.
Particle(Set, int) - Constructor for class blog.Particle
Creates a new particle.
ParticleFilter - Class in blog
A Particle Filter.
ParticleFilter(Model, Properties) - Constructor for class blog.ParticleFilter
Creates a new particle filter for the given BLOG model, with configuration parameters specified by the given properties table.
ParticleFilterTest - Class in blog
Unit testing for the ParticleFilter.
ParticleFilterTest() - Constructor for class blog.ParticleFilterTest
 
peek() - Method in class common.TabularReader
Returns an array of strings representing the fields of the next line in the input stream, but does not move on to the following line.
peekMin() - Method in class common.BinaryHeap
Returns the minimum-cost entry in this heap, without modifying the heap.
peekMin() - Method in class common.FibHeap
 
peekMin() - Method in interface common.Heap
Returns the minimum-cost entry in this heap, without modifying the heap.
PermutationDistrib - Class in common
Defines, for each n, a distribution over the permutations of the sequence 0,...,n-1.
PermutationDistrib() - Constructor for class common.PermutationDistrib
Creates a PermutationDistrib with alpha = 0.5.
PermutationDistrib(double) - Constructor for class common.PermutationDistrib
Creates a PermutationDistrib with the given alpha parameter.
PermutationIterator - Class in common
An iterator for iterating over all the ways to make an ordered list of k distinct elements from a set of size n.
PermutationIterator(int, int) - Constructor for class common.PermutationIterator
Creates a new PermutationIterator for iterating over permutations of k elements from a set of size n.
pickVarToSample(PartialWorldDiff) - Method in class blog.DecayedProposer
 
pickVarToSample(PartialWorld) - Method in class blog.GenericProposer
 
PLUS - Static variable in class blog.BuiltInFunctions
The function on integers x, y that returns x + y.
Poisson - Class in blog.distrib
A Poisson distribution with mean and variance lambda.
Poisson(List) - Constructor for class blog.distrib.Poisson
Creates a new Poisson distribution with the specifies lambda parameter.
Poisson - Class in common
A Poisson distribution with mean and variance lambda.
Poisson() - Constructor for class common.Poisson
Creates a new Poisson distribution with lambda = 1.
Poisson(double) - Constructor for class common.Poisson
Creates a new Poisson distribution with the specifies lambda parameter.
pop() - Method in class blog.NumberVar
Returns the potential object pattern associated with this number variable.
POP - Class in blog
Represents a potential object pattern (POP), which includes the type of object to be generated and a tuple of origin functions.
POP(Type, List, DependencyModel) - Constructor for class blog.POP
Creates a new potential object pattern for the given type and the given tuple of origin functions, with the given dependency model.
POPAppBasedSet - Class in blog
ObjectSet implementation that is composed of individual objects, plus all the objects that satisfy certain potential object pattern (POP) applications (number variables), with certain exceptional objects excluded.
POPAppBasedSet() - Constructor for class blog.POPAppBasedSet
 
popAppToAssertedIds - Variable in class blog.AbstractPartialWorld
Map from NumberVars to IndexedSets of the ObjectIdentifiers that are asserted to satify them.
popAppToAssertedIdsMap() - Method in class blog.AbstractPartialWorld
 
popAppToAssertedIdsMap() - Method in interface blog.PartialWorld
Map from POP applications (NumberVars) to IndexedSets of the ObjectIdentifiers that are asserted to satisfy them.
popAppToCommIds - Variable in class blog.AbstractPartialWorld
Map from NumberVars to IndexedSets of the common ground ObjectIdentifiers (including asserted ones) that satisfy them.
popEvaluee() - Method in class blog.DefaultEvalContext
Pops the top object from the stack of objects being evaluated.
popEvaluee() - Method in interface blog.EvalContext
Pops the top object from the stack of objects being evaluated.
PrecisionRecall - Class in common
An object of class PrecisionRecall represents precision and recall statistics for some experiment.
PrecisionRecall(double, double) - Constructor for class common.PrecisionRecall
Creates a new PrecisionRecall object with the given precision and recall.
PrecisionRecall(int, int, int) - Constructor for class common.PrecisionRecall
Creates a new PrecisionRecall object for the given experimental results.
PRED - Static variable in class blog.BuiltInFunctions
The predecessor function on natural numbers.
preimages - Variable in class common.AbstractMapWithPreimages
MultiMap from values in map to the keys for which they serve as the value.
PREV - Static variable in class blog.BuiltInFunctions
The predecessor function on timesteps.
prev() - Method in class blog.Timestep
 
print(PrintStream) - Method in class blog.AbstractPartialWorld
 
print(PrintStream) - Method in class blog.DependencyModel
Prints this dependency model to the given stream.
print(PrintStream) - Method in class blog.Evidence
Prints the evidence to the given stream.
print(PrintStream) - Method in class blog.Model
Prints this model to the given stream.
print(PrintStream) - Method in class blog.NonRandomFunction
Prints a description of this NonRandomFunction to the given stream.
print(PrintStream) - Method in interface blog.PartialWorld
Prints this partial world to the given stream.
print(PrintStream) - Method in class blog.Type
Prints the type name.
print(PrintStream) - Method in class common.AbstractDGraph
 
print(PrintStream) - Method in interface common.DGraph
Prints a description of this graph to the given stream.
print(PrintStream) - Method in class common.Histogram
Prints this histogram to the given stream.
print() - Method in class common.IndexedTreeSet
 
printAllTimers() - Static method in class common.Timer
Prints the elapsed times for all timers created by the program.
printDepStatement(PrintStream) - Method in class blog.RandomFunction
Prints the dependency statement for this function to the given stream.
printEscapedString(PrintStream, String) - Static method in class blog.ParserUtilities
Prints an appropriately escaped string
printEvalTrace(PrintStream) - Method in class blog.DefaultEvalContext
Prints the sequence of objects being evaluated, in the order they were added to the stack, to the given stream.
printEvalTrace(PrintStream) - Method in interface blog.EvalContext
Prints the sequence of objects being evaluated, in the order they were added to the stack, to the given stream.
printNumberStatement(PrintStream) - Method in class blog.POP
Prints the number statement for this POP to the given stream.
printResults(PrintStream) - Method in class blog.ArgSpecQuery
 
printResults(PrintStream) - Method in class blog.FormulaQuery
 
printResults(PrintStream) - Method in interface blog.Query
Prints the results of this query to the given stream.
printStats() - Method in class blog.GenericProposer
 
printStats() - Method in class blog.LWSampler
Print statistics gathered during sampling to standard out.
printStats() - Method in class blog.MHSampler
Print statistics gathered during sampling to standard out.
printStats() - Method in interface blog.Proposer
Prints any relevant statistics about the internal behavior of this proposer.
printStats() - Method in class blog.RejectionSampler
 
printStats() - Method in class blog.Sampler
Prints statistics about the internal activities of this sampler.
printStats() - Method in class blog.UrnBallsSplitMerge
 
printStats() - Method in class blog.UrnBallsSplitMergeNoIds
 
printTimes(PrintStream, String, int) - Static method in class blog.Main
Print to the PrintStream ps the String s exactly n times, followed by a newline.
printToken(Symbol) - Static method in class blog.ParserUtilities
Prints a token to stderr
printUsage(PrintStream) - Static method in class common.cmdline.Parser
Prints a usage message for the program to the given stream.
printVarianceResults(PrintStream) - Method in class blog.ArgSpecQuery
 
printVarianceResults(PrintStream) - Method in class blog.FormulaQuery
 
printVarianceResults(PrintStream) - Method in interface blog.Query
Prints across-run statistics.
PROB_COPY - Static variable in class blog.distrib.StringEditModel
 
PROB_DELETE - Static variable in class blog.distrib.StringEditModel
 
PROB_INSERT - Static variable in class blog.distrib.StringEditModel
 
PROB_INSERT_AT_END - Static variable in class blog.distrib.StringEditModel
 
PROB_STOP - Static variable in class blog.distrib.StringEditModel
 
PROB_SUBST - Static variable in class blog.distrib.StringEditModel
 
probDelete(String, int, String, int) - Method in class blog.distrib.StringEditModel
Returns the probability that the scribe moves his finger to the next position without writing anything, given that: the scribe's finger is before character n in input; so far, he's written the substring of output up to (not including) index i.
probInsert(String, int, String, int, char) - Method in class blog.distrib.StringEditModel
Returns the probability that the scribe writes the character outChar without moving his finger, given that: the scribe's finger is before character n in input; so far, he's written the substring of output up to (not including) index i.
probStop(String, int, String, int) - Method in class blog.distrib.StringEditModel
Returns the probability that the scribe stops writing, given that: the scribe's finger is before character n in input; so far, he's written the substring of output up to (not including) index i.
probSubst(String, int, String, int, char) - Method in class blog.distrib.StringEditModel
Returns the probability that the scribe writes character outChar and moves his finger to the next position, given that: the scribe's finger is before character n in input; so far, he's written the substring of output up to (not including) index i.
production_table() - Method in class blog.BLOGParser
Access to production table.
PropertiesOption - Class in common.cmdline
Option whose values are key-value pairs, represented as strings of the form key=val.
PropertiesOption(String, String, Properties, String) - Constructor for class common.cmdline.PropertiesOption
Creates a Properties option and registers it with the Parser class.
proposeNextState(PartialWorldDiff) - Method in class blog.GenericProposer
Proposes a next state for the Markov chain given the current state.
proposeNextState(PartialWorldDiff) - Method in interface blog.Proposer
Proposes a next state for the Markov chain given the current state.
proposeNextState(PartialWorldDiff) - Method in class blog.UrnBallsSplitMerge
Proposes a next state for the Markov chain given the current state.
proposeNextState(PartialWorldDiff) - Method in class blog.UrnBallsSplitMergeNoIds
Proposes a next state for the Markov chain given the current state.
proposer - Variable in class blog.MHSampler
 
Proposer - Interface in blog
Interface for Metropolis-Hastings proposal distributions.
PUNCT - Static variable in class blog.distrib.StringEditModel
 
PUNCT_PROB - Static variable in class blog.distrib.StringEditModel
 
pushEvaluee(Object) - Method in class blog.DefaultEvalContext
Pushes the given object onto the stack of objects being evaluated.
pushEvaluee(Object) - Method in interface blog.EvalContext
Pushes the given object onto the stack of objects being evaluated.
put(List, Object) - Method in class blog.distrib.TabularInterp
Adds the given argument-value mapping to this interpretation.
put(Object, Object) - Method in class common.AbstractMapWithPreimages
 
put(Object, Object) - Method in class common.HashMapDiff
 
put(Object, Object) - Method in class common.HashMultiMap
 
put(Object, Object) - Method in class common.HashMultiMapDiff
 
put(Object, Object) - Method in interface common.MultiMap
Associates the given key with the given value, which must be a Set.

Q

queries - Variable in class blog.BLOGParser.ModelEvidenceQueries
 
queries() - Method in class blog.BLOGParser
Returns the query list that this parser is using (which may be null).
queries - Variable in class blog.GenericProposer
 
queries - Variable in class blog.InferenceEngine
List of Query objects specified by the last call to setQueries.
queries - Variable in class blog.Sampler
List of Query objects specified by the last call to initialize, or null if initialize has not been called.
QUERY - Static variable in class blog.BLOGTokenConstants
 
Query - Interface in blog
Interface for queries that can be answered by an inference engine.
queryVars - Variable in class blog.GenericProposer
 

R

RandFuncAppVar - Class in blog
A random variable whose value is the value of a certain random function on a certain tuple of arguments.
RandFuncAppVar(RandomFunction, List) - Constructor for class blog.RandFuncAppVar
Creates a RandFuncAppVar for the given function applied to the given tuple of arguments.
RandFuncAppVar(RandomFunction, Object[]) - Constructor for class blog.RandFuncAppVar
Creates a RandFuncAppVar for the given function applied to the given tuple of arguments.
RandFuncAppVar(RandomFunction, Object[], boolean) - Constructor for class blog.RandFuncAppVar
Creates a RandFuncAppVar for the given function applied to the given tuple of arguments.
randInt(int) - Static method in class common.Util
Returns a pseudorandom integer sampled uniformly from {0, ..., n-1} Assumes n > 0
RANDOM - Static variable in class blog.BLOGTokenConstants
 
random() - Static method in class common.Util
Returns a pseudorandom number uniformly distributed in the range [0, 1).
RandomFunction - Class in blog
Represents random functions, whose value for the given tuple of arguments changes from world to world.
RandomFunction(String, List, Type, DependencyModel) - Constructor for class blog.RandomFunction
 
range() - Method in class blog.Type
Returns a list of all the values that can be returned by an expression with this return type.
RBRACE - Static variable in class blog.BLOGTokenConstants
 
RBRACKET - Static variable in class blog.BLOGTokenConstants
 
readLine() - Method in class common.TabularReader
Returns an array of strings representing the fields of the next line in the input stream, and moves on to the line after that.
ready() - Method in class common.TabularReader
Returns true if there is another line to read from the input stream.
REAL - Static variable in class blog.BuiltInTypes
Type for real numbers.
recordOccurrence(String, String) - Method in class common.cmdline.AbstractOption
This default implementation prints a warning if this option has already been occurred.
recordOccurrence(String, String) - Method in class common.cmdline.BooleanOption
 
recordOccurrence(String, String) - Method in class common.cmdline.DoubleOption
 
recordOccurrence(String, String) - Method in class common.cmdline.IntOption
 
recordOccurrence(String, String) - Method in interface common.cmdline.Option
Records an occurrence of this option with the given value.
recordOccurrence(String, String) - Method in class common.cmdline.PropertiesOption
 
recordOccurrence(String, String) - Method in class common.cmdline.StringListOption
 
recordOccurrence(String, String) - Method in class common.cmdline.StringOption
 
reduce_table() - Method in class blog.BLOGParser
Access to reduce_goto table.
ReferenceHistogram - Interface in common
A histogram that represents a partition of a set of references by showing the size of each block in the partition.
ReferenceHistogramPair - Class in common
Represents the partitions of two sets of references, called the foreground set and the background set.
ReferenceHistogramPair(ReferenceHistogram) - Constructor for class common.ReferenceHistogramPair
Creates a new ReferenceHistogramPair with this given master histogram, where all citations are initially in the background set.
RejectionSampler - Class in blog
Generates a partial world by sampling basic random variables in an order that does not depend on the evidence or queries, but only on which basic RVs are supported by the instantiation created so far.
RejectionSampler(Model, Properties) - Constructor for class blog.RejectionSampler
Creates a new RejectionSampler for the given model, with configuration parameters specified by the given properties table.
remove() - Method in class blog.AbstractObjectIterator
 
remove() - Method in class blog.DefaultObjectIterator
 
remove(LogicalVar) - Method in class blog.Substitution
Removes the mapping (if any) for the given logical variable.
remove() - Method in class blog.WorldInProgress.UninstVarIterator
The remove method is not supported, because the only way to remove a variable from the list of uninstantiated variables is to instantiate it.
remove(Object) - Method in class common.AbstractMapWithPreimages
 
remove() - Method in class common.AbstractTupleIterator
OPTIONAL METHOD -- NOT IMPLEMENTED.
remove() - Method in class common.AddedTupleIterator
 
remove() - Method in class common.FilteredIterator
 
remove(Object) - Method in class common.HashMapDiff
 
remove(Object) - Method in class common.HashMultiMap
 
remove(Object, Object) - Method in class common.HashMultiMap
 
remove(Object) - Method in class common.HashMultiMap.ValueSet
 
remove() - Method in class common.HashMultiMap.ValueSet.ValueSetIterator
 
remove(Object) - Method in class common.HashMultiMapDiff
 
remove(Object, Object) - Method in class common.HashMultiMapDiff
 
remove(Object) - Method in class common.HashMultiMapDiff.ValueSet
 
remove(Object) - Method in class common.HashMultiset
Removes a single copy of the given element from this multiset, if such an element is present.
remove(Object) - Method in class common.HashSetDiff
 
remove(Object) - Method in class common.IndexedHashSet
Removes the given object from this IndexedSet if it was present.
remove(Object) - Method in class common.IndexedHashSetDiff
Removes the given object from this IndexedSet if it was present.
remove(Object) - Method in class common.IndexedTreeSet
 
remove(Object) - Method in class common.IndexedTreeSetDiff
 
remove(Object, Object) - Method in class common.MultiMap.EmptyMultiMap
 
remove(Object, Object) - Method in interface common.MultiMap
Removes the given value from the set associated with the given key.
remove() - Method in class common.PermutationIterator
Not supported.
remove() - Method in class common.SubsetIterator
Throws an exception -- removal makes no sense for this iterator.
remove() - Method in class common.TupleIterator
OPTIONAL METHOD -- NOT IMPLEMENTED.
remove(Object) - Method in class common.WeakHashSet
 
removeAll(Object, Set) - Method in class common.HashMultiMap
 
removeAll(Object, Set) - Method in class common.HashMultiMapDiff
 
removeAll(Object, Set) - Method in class common.MultiMap.EmptyMultiMap
 
removeAll(Object, Set) - Method in interface common.MultiMap
Removes all elements of the given set from the set associated with the given key.
removeDerivedVar(DerivedVar) - Method in class blog.AbstractPartialWorld
 
removeDerivedVar(DerivedVar) - Method in interface blog.PartialWorld
Removes the given derived variable from this world's Bayes net.
removeDiffListener(WorldDiffListener) - Method in class blog.PartialWorldDiff
Removes the given object from the list of listeners that will be notified when this PartialWorldDiff is saved or reverted.
removeEdge(Object, Object) - Method in class common.AbstractDGraph
Throws an UnsupportedOperationException.
removeEdge(Object, Object) - Method in class common.DefaultDGraph
 
removeEdge(Object, Object) - Method in interface common.DGraph
Removes the edge from parent to child from the graph.
removeEdge(Object, Object) - Method in class common.ParentUpdateDGraph
 
removeIdentifier(ObjectIdentifier) - Method in class blog.AbstractPartialWorld
 
removeIdentifier(ObjectIdentifier) - Method in interface blog.PartialWorld
Removes the given object identifier from the set of asserted identifiers in this partial world, and from this world's common ground.
removeListener(WorldListener) - Method in class blog.AbstractPartialWorld
 
removeListener(WorldListener) - Method in interface blog.PartialWorld
Removes the given listener from the list of objects to be notified when changes are made to this partial world.
removeNode(Object) - Method in class common.AbstractDGraph
Throws an UnsupportedOperationException.
removeNode(Object) - Method in class common.DefaultDGraph
 
removeNode(Object) - Method in interface common.DGraph
Removes the given node from the graph, along with all the edges incident on it.
removeNode(Object) - Method in class common.ParentUpdateDGraph
Removes the given node from the graph, along with all incident edges.
removeReference(Long) - Method in class common.DefaultReferenceHistogram
Removes from this histogram a reference referring to the given object.
reset(int) - Method in class common.BipartiteMatcher
Resets the BipartiteMatcher to run on an n x n graph.
reset(String) - Method in class common.SubstringReplacer
Sets the original string to the orig, and clears the set of replacement operations.
resetParticleFilters() - Method in class blog.ParticleFilter
Prepares particle filter for a new sequence of evidence and queries by generating a new set of particles from scratch, which are consistent with evidence set by InferenceEngine.setEvidence(Evidence) (if it has not been invoked, empty evidence is assumed), ensuring behavior consistent with other InferenceEngines.
revert() - Method in class blog.PartialWorldDiff
Changes this world to equal the saved version.
RIGHTARROW - Static variable in class blog.BLOGTokenConstants
 
RMATRIX - Static variable in class blog.BuiltInTypes
Supertype for real matrices.
RMINUS - Static variable in class blog.BuiltInFunctions
The function on reals x, y that returns x - y.
RoundedLogNormal - Class in blog.distrib
Distribution over positive integers for a random variable X = round(Y), where Y has a log normal distribution.
RoundedLogNormal(double, double) - Constructor for class blog.distrib.RoundedLogNormal
Creates a RoundedLogNormal distribution where Y has the given mean and log(Y) has the given variance.
RoundedLogNormal(List) - Constructor for class blog.distrib.RoundedLogNormal
Creates a RoundedLogNormal distribution with the given parameters.
RoundedLogNormal - Class in common
Distribution over positive integers for a random variable X = round(Y), where Y has a log normal distribution.
RoundedLogNormal(double, double) - Constructor for class common.RoundedLogNormal
Creates a RoundedLogNormal distribution where Y has the given mean and log(Y) has the given variance.
RPAREN - Static variable in class blog.BLOGTokenConstants
 
RPLUS - Static variable in class blog.BuiltInFunctions
The function on reals x, y that returns x + y.
rv() - Method in class blog.POP
Returns a basic random variable for this POP with no generating objects.
rv(Object) - Method in class blog.POP
Returns a basic random variable for this POP with the given single generating object.
rv(Object, Object) - Method in class blog.POP
Returns a basic random variable for this POP with the given two generating objects.
rv() - Method in class blog.RandomFunction
Returns a basic random variable for this function with no arguments.
rv(Object) - Method in class blog.RandomFunction
Returns a basic random variable for this function with the given single argument.
rv(Object, Object) - Method in class blog.RandomFunction
Returns a basic random variable for this function with the given two arguments.
RVECTOR - Static variable in class blog.BuiltInTypes
Supertype for real vectors, which are matrices with one column.
rvWithArgs(Object[]) - Method in class blog.POP
Returns a basic random variable for this POP with the given array of generating objects.
rvWithArgs(Object[]) - Method in class blog.RandomFunction
Returns a basic random variable for this function with the given array of arguments.

S

sample(int) - Method in class blog.DefaultObjectSet
 
sample(int) - Method in interface blog.ObjectSet
Returns an object sampled uniformly at random from this set, assuming that the given number n is sampled uniformly from the numbers 0, ..., size - 1 (where size is the size of this set).
sample(int) - Method in class blog.POPAppBasedSet
 
sample() - Method in class common.Geometric
Generate iid samples from this distribution
sample() - Method in class common.Histogram
 
sample() - Method in interface common.IntegerDist
 
sample() - Method in class common.LogHistogram
 
sample() - Method in class common.Multinomial
Returns an integer chosen at random according to this distribution.
sample() - Method in class common.MultinomialWithTail
Generates iid samples from this distribution
sample() - Method in class common.Poisson
Returns an integer sampled according to this distribution.
sample() - Method in class common.SamplingMultiset
Returns an object sampled uniformly from this multiset.
sample() - Method in interface common.SetWithDistrib
Returns an object sampled according to this distribution.
sampleIndex() - Method in class common.ImplicitVector
Returns an index sampled according to the probability distribution represented this by this vector.
Sampler - Class in blog
An object that stochastically generates a sequence of samples, which are possible worlds of a given BLOG model.
Sampler(Model) - Constructor for class blog.Sampler
Creates a Sampler object for the given BLOG model.
sampleVal(List, Type) - Method in interface blog.CondProbDistrib
Samples a value according to this CPD given the args .
sampleVal(List, Type) - Method in class blog.DetCondProbDistrib
 
sampleVal() - Method in class blog.distrib.Bernoulli
Returns a boolean value sampled from this distribution.
sampleVal(List, Type) - Method in class blog.distrib.Bernoulli
 
sampleVal(List, Type) - Method in class blog.distrib.Beta
Returns a double sampled according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.BinaryBernoulliDistrib
 
sampleVal(List, Type) - Method in class blog.distrib.Binomial
Returns an integer sampled according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.BoundedGeometric
Generates a sample from this distribution.
sampleVal() - Method in class blog.distrib.Categorical
Returns an index sampled from this distribution.
sampleVal(List, Type) - Method in class blog.distrib.Categorical
Returns a value sampled from the given child type according to this distribution.
sampleVal() - Method in class blog.distrib.CharDistrib
Returns a character selected randomly according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.CharDistrib
Returns a Character object sampled randomly according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.ChooseFromArgs
Returns a value sampled according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.Exponential
Returns a double sampled according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.Gamma
Returns a double sampled according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.Geometric
Generates a sample from this distribution.
sampleVal() - Method in class blog.distrib.Geometric
Returns an integer sampled from this distribution.
sampleVal(List, Type) - Method in class blog.distrib.LinearGaussian
 
sampleVal(List, Type) - Method in class blog.distrib.MixtureDistrib
 
sampleVal(List, Type) - Method in class blog.distrib.MultivarGaussian
Samples a value from this multivariate Gaussian by generating d independent samples from univariate Gaussians with unit variance, one for each dimension, and multiplying the obtained vector on the left by the square root of sigma (Cholesky decomposition of sigma).
sampleVal() - Method in class blog.distrib.MultivarGaussian
Samples a value from this multivariate Gaussian by generating d independent samples from univariate Gaussians with unit variance, one for each mean in the mean vector, and multiplying the obtained vector on the left by the square root of sigma (Cholesky decomposition of sigma).
sampleVal() - Method in class blog.distrib.NatNumDistribWithTail
Returns a sample from this distribution.
sampleVal(List, Type) - Method in class blog.distrib.NatNumDistribWithTail
Returns an Integer sampled from this distribution.
sampleVal(List, Type) - Method in class blog.distrib.NegativeBinomial
Returns a double sampled according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.Poisson
Returns an integer sampled according to this distribution.
sampleVal(List, Type) - Method in class blog.distrib.RoundedLogNormal
 
sampleVal(String) - Method in class blog.distrib.StringEditModel
Samples an output string given the string input
sampleVal(List, Type) - Method in class blog.distrib.StringEditModel
 
sampleVal(List, Type) - Method in class blog.distrib.TabularCPD
 
sampleVal(List, Type) - Method in class blog.distrib.UniformChoice
Takes a single argument, namely a finite set S.
sampleVal(List, Type) - Method in class blog.distrib.UniformInt
Returns a sample from this distribution.
sampleVal(List, Type) - Method in class blog.distrib.UniformReal
Returns a sample from this distribution.
sampleVal(List, Type) - Method in class blog.distrib.UniformVector
 
sampleVal(List, Type) - Method in class blog.distrib.UnivarGaussian
 
sampleVal() - Method in class blog.distrib.UnivarGaussian
Returns a value sampled from this Gaussian distribution.
sampleWithoutReplacement(List, int) - Static method in class common.Util
Returns a list of min(list.size(), n) objects sampled without replacement from list.
sampleWithProbs(double[]) - Static method in class common.Util
Returns an integer in the range {0, ..., probs.length - 1}, according to the distribution specified by probs.
sampleWithWeights(double[], double) - Static method in class common.Util
Returns an integer in the range {0, ..., probs.length - 1}, according to the given weights.
SamplingEngine - Class in blog
Inference engine that answers queries by sampling partial worlds (possibly with associated weights) from some sampling distribution, and collecting statistics over these samples.
SamplingEngine(Model, Properties) - Constructor for class blog.SamplingEngine
Creates a new sampling engine for the given BLOG model, with configuration parameters specified by the given properties table.
SamplingMultiset - Class in common
Multiset that allows sampling, but not iteration or removals.
SamplingMultiset() - Constructor for class common.SamplingMultiset
Creates a new, empty multiset.
save() - Method in class blog.PartialWorldDiff
Changes the saved version of this world to equal the current version.
ScannerWithLocInfo - Interface in common
Extension of the Scanner interface that includes methods for getting the current file and line number.
SEMI - Static variable in class blog.BLOGTokenConstants
 
set(int, double) - Method in class common.DenseVector
Sets the value at the given index, filling in any gap between this index and the previous highest explicit index with explicit zeroes.
set - Variable in class common.HashMultiMap.ValueSet
 
set(int, double) - Method in class common.ImplicitVector
 
set(int, double) - Method in class common.SparseVector
Sets the value at the given index.
setArgVars(List) - Method in class blog.RandomFunction
Sets the variables that will stand for the function arguments in this function's dependency model.
SetBackedMultiset - Class in common
An unmodifiable Multiset implementation that just wraps around a Set object.
SetBackedMultiset(Set) - Constructor for class common.SetBackedMultiset
Creates a new SetBackedMultiset that will be backed by the given set.
setConstantInterp(Object) - Method in class blog.NonRandomFunction
Sets the interpretation of this function to be a ConstantInterp with the given value.
setDepModel(DependencyModel) - Method in class blog.POP
 
setDepModel(DependencyModel) - Method in class blog.RandomFunction
 
SetDiff - Interface in common
Interface for sets that are represented in terms of additions and removals relative to an underlying set.
setEvidence(Evidence) - Method in class blog.BLOGParser
Sets the evidence object that this parser will use.
setEvidence(Evidence) - Method in class blog.InferenceEngine
Sets the evidence to be conditioned on in the next call to answerQueries.
setFilename(String) - Method in class blog.BLOGLexer
 
setGenObjVars(List) - Method in class blog.POP
Sets the variables that will stand for the generating objects in this POP's dependency model.
setInterpretation(FunctionInterp) - Method in class blog.NonRandomFunction
Sets the interpretation of this function.
setInterpretation(Class, List) - Method in class blog.NonRandomFunction
Sets the interpretation of this function to be an instance of the given class, constructed with the given parameters.
setLocation(Object) - Method in class blog.ArgSpec
Sets the location of this ArgSpec, for instance, the file name and line number where it appears.
setLocation(Object) - Method in class blog.Clause
Sets the location of this clause, for instance, the file name and line number where it appears.
setModel(Model) - Method in class blog.BLOGParser
Sets the model that this parser will use.
setPackagesToSearch(List) - Static method in class blog.BLOGParser
Sets the packages that will be searched before the default packages when looking up class names (for CPDs, etc.).
setParents(Object, Set) - Method in class common.AbstractDGraph
Implements setParents in terms of addEdge and removeEdge.
setParents(Object, Set) - Method in class common.DefaultDGraph
 
setParents(Object, Set) - Method in interface common.DGraph
Changes the graph so that the parent set of the given node is the given set.
setParents(Object, Set) - Method in class common.ParentUpdateDGraph
Changes the parent set of the given node to equal the given set.
setPosterior(Factor) - Method in class blog.AbstractQuery
Throws an UnsupportedOperationException.
setPosterior(Factor) - Method in class blog.ArgSpecQuery
 
setPosterior(Factor) - Method in class blog.FormulaQuery
 
setPosterior(Factor) - Method in interface blog.Query
Sets the posterior distribution for the variables returned by getVariables.
setProgramDesc(String) - Static method in class common.cmdline.Parser
Sets the program description that will be printed by printUsage.
setQueries(List) - Method in class blog.BLOGParser
Sets the list to which queries (represented as Query objects) will be appended.
setQueries(List) - Method in class blog.InferenceEngine
Sets the queries to be answered in the next call to answerQueries.
setString(String) - Method in interface common.StringDistrib
Sets the string to be used by subsequent calls to the substring versions of getProb and getLogProb.
setup(Model, Evidence, List, Collection, Collection, boolean, boolean) - Static method in class blog.Main
Reads and prepares model, evidence and queries for inference.
setUp() - Method in class blog.ParticleFilterTest
Sets particle filter properties to default values before every test.
SetupExtender - Interface in blog
Interface for objects that can extend the setup of a BLOG inference problem: that is, the model, evidence, and query list.
setUsageLine(String) - Static method in class common.cmdline.Parser
Sets the basic usage message that will be printed by printUsage.
setValue(BasicVar, Object) - Method in class blog.AbstractPartialWorld
 
setValue(BasicVar, Object) - Method in interface blog.PartialWorld
Instantiates the given variable to the given value (replacing any previous value), or uninstantiates the variable if the given value is null.
setValue(VarWithDistrib, Object) - Method in class blog.WorldInProgress
 
setValue(Object) - Method in class blog.WorldInProgress.UninstVarIterator
Instantiates the last variable returned by next to the given value.
setValue(Object) - Method in class common.DefaultMapEntry
 
setVerbose(boolean) - Static method in class common.Util
Sets a flag indicating whether the program should print extra status messages.
setWeight(int, int, double) - Method in class common.BipartiteMatcher
Sets the weight wij to the given value w.
SetWithDistrib - Interface in common
Interface for objects that represent a probability distribution over a set.
setWorld(PartialWorld) - Method in class blog.MHSampler
 
setWorld(PartialWorld) - Method in class blog.Particle
 
shortForms - Variable in class common.cmdline.AbstractOption
List of Character objects that are short forms of this option.
shuffle(List) - Static method in class common.Util
Randomly shuffles the given list, in a way such that all permutations are equally likely.
signifGreaterThan(double, double) - Static method in class common.Util
Returns true if x is greater than y by at least Util.TOLERANCE.
signifLessThan(double, double) - Static method in class common.Util
Returns true if x is less than y by at least Util.TOLERANCE.
SimpleInstEvalContext - Class in blog
Evaluation context that instantiates random variables as needed, using some very simple rules.
SimpleInstEvalContext(PartialWorld) - Constructor for class blog.SimpleInstEvalContext
Creates a new SimpleInstEvalContext using the given world.
singleton(Object) - Static method in class blog.AbstractObjectSet
 
size() - Method in class blog.AbstractObjectSet
 
size() - Method in class blog.Substitution
 
size() - Method in class common.AbstractMapWithPreimages
 
size() - Method in class common.BinaryHeap
Returns the number of entries in this heap.
size - Variable in class common.CartesianProduct
 
size() - Method in class common.CartesianProduct
 
size() - Method in class common.ExtensibleLinkedList
 
size() - Method in class common.FibHeap
 
size() - Method in class common.HashMapDiff
 
size() - Method in class common.HashMultiMap
 
size() - Method in class common.HashMultiMap.ValueSet
 
size() - Method in class common.HashMultiMapDiff
 
size() - Method in class common.HashMultiMapDiff.ValueSet
 
size() - Method in class common.HashMultiset
Returns the sum of the occurrence counts of all items.
size() - Method in class common.HashSetDiff
 
size() - Method in class common.Histogram
Returns the number of objects that have non-zero weight in this histogram.
size() - Method in class common.IndexedHashSet
 
size() - Method in class common.IndexedHashSetDiff
 
size() - Method in class common.IndexedSet.EmptyIndexedSet
 
size() - Method in class common.IndexedTreeSet
 
size() - Method in class common.IndexedTreeSetDiff
 
size() - Method in class common.Multinomial
Returns the size of the set that this distribution is defined over.
size() - Method in class common.MultisetBackedSet
Returns the size of this set, which is the number of distinct elements in the underlying multiset.
size() - Method in class common.SetBackedMultiset
Returns the number of elements in this multiset.
size() - Method in class common.WeakHashSet
 
sizeInternal() - Method in class blog.AbstractObjectSet
Returns the size of this set, or null if the underlying partial world is not complete enough to determine the size.
sizeInternal() - Method in class blog.DefaultObjectSet
 
sizeInternal() - Method in class blog.POPAppBasedSet
 
skipAfterNext() - Method in class blog.AbstractObjectIterator
Behaves like skipIndistinguishable, except it can assume that this call to skipIndistinguishable comes immediately after a successful call to next, with no intervening calls to findNext or any other methods.
skipIndistinguishable() - Method in class blog.AbstractObjectIterator
 
skipIndistinguishable() - Method in class blog.DefaultObjectIterator
 
skipIndistinguishable() - Method in interface blog.ObjectIterator
Skips remaining objects that are indistinguishable from the object returned by the last call to next.
SkolemConstant - Class in blog
Represents a skolem constant -- a constant introduced by symbol evidence statements.
SkolemConstant(String, ImplicitSetSpec, List) - Constructor for class blog.SkolemConstant
Creates a new SkolemConstant with the given name and return type.
SORTED - Static variable in class blog.distrib.Categorical
Value that can be bitwise or'ed with a flag argument to indicate that the weights are sorted in non-increasing order (largest first).
SPACE_PROB - Static variable in class blog.distrib.StringEditModel
 
spannedSubstring(String, int, int, int, int) - Static method in class common.Util
Returns the substring of str from substringPairBegin(begin1, end1, begin2, end2) to substringPairEnd(begin1, end1, begin2, end2).
SparseVector - Class in common
Simple implementation of a sparse vector, that is, a vector of doubles in which many elements are zero.
SparseVector() - Constructor for class common.SparseVector
Creates a new vector with no non-zero entries.
STANDARD - Static variable in class blog.distrib.UnivarGaussian
 
start() - Method in class common.Timer
Starts the timer.
start_production() - Method in class blog.BLOGParser
Indicates start production.
start_state() - Method in class blog.BLOGParser
Indicates start state.
stop() - Method in class common.Timer
Stops the timer, and adds the time elapsed since the last call to start() to the running total.
STR_CONST - Static variable in class blog.BLOGTokenConstants
 
STRING - Static variable in class blog.BuiltInTypes
Type for finite strings of Unicode characters.
StringDistrib - Interface in common
Interface for objects that define probability distributions over strings.
StringEditModel - Class in blog.distrib
Represents a probability model for output strings Y given input strings X.
StringEditModel() - Constructor for class blog.distrib.StringEditModel
 
StringEditModel(List) - Constructor for class blog.distrib.StringEditModel
Creates a new StringEditModel.
StringEditModelWithJumps - Class in blog.distrib
Subclass of StringEditModel that allows "jumps", that is, deletions of whole substrings of the original string (rather than just single characters).
StringEditModelWithJumps() - Constructor for class blog.distrib.StringEditModelWithJumps
 
StringEditModelWithJumps(List) - Constructor for class blog.distrib.StringEditModelWithJumps
 
StringListOption - Class in common.cmdline
Option that can occur multiple times on the command line with a string argument, yielding a list of strings.
StringListOption(String, String, String) - Constructor for class common.cmdline.StringListOption
Creates a string list option and registers it with the Parser class.
StringOption - Class in common.cmdline
Option that takes string values.
StringOption(String, String, String, String) - Constructor for class common.cmdline.StringOption
Creates a string option and registers it with the Parser class.
stringSetup(Model, Evidence, List, String) - Static method in class blog.Main
A version of Main.setup(Model, Evidence, List, Collection, Collection, boolean, boolean) receiving a single string, no setup extenders, and not verbose.
subSet(Object, Object) - Method in class common.IndexedTreeSet
 
subSet(Object, Object) - Method in class common.IndexedTreeSetDiff
 
SubsetIterator - Class in common
Class for iterating over all subsets of an ordered set.
SubsetIterator(int) - Constructor for class common.SubsetIterator
Creates a new SubsetIterator over a set of size n.
Substitution - Class in blog
A mapping from logical variables to terms.
Substitution() - Constructor for class blog.Substitution
Creates a new "empty" substitution that does not change anything.
Substitution(List<LogicalVar>, List<? extends Term>) - Constructor for class blog.Substitution
Creates a new substitution that maps the given list of logical variables respectively to the given list of terms.
substringPairBegin(int, int, int, int) - Static method in class common.Util
Given two substrings defined by "begin" and "end" indices in some original string, returns the index of the first character that is in either of these two strings, or 0 if both strings are empty.
substringPairEnd(int, int, int, int) - Static method in class common.Util
Given two substrings defined by "begin" and "end" indices in some original string, returns one plus the index of the last character that is in one of these two strings, or 0 if both strings are empty.
SubstringReplacer - Class in common
A SubstringReplacer is an engine for replacing substrings of a given string.
SubstringReplacer() - Constructor for class common.SubstringReplacer
Creates a new SubstringReplacer.
SubstringReplacer(String) - Constructor for class common.SubstringReplacer
Creates a new SubstringReplacer with the given original string.
SUCC - Static variable in class blog.BuiltInFunctions
The successor function on natural numbers.
sum() - Method in class common.ImplicitVector
Returns the sum of the entries in this vector.
SymbolEvidenceStatement - Class in blog
Represents a symbol evidence statement, which is of the form type_name var_name:cond_formula = { symbol_list }.
SymbolEvidenceStatement(ImplicitSetSpec, List) - Constructor for class blog.SymbolEvidenceStatement
Creates a new SymbolEvidenceStatement saying that the objects satisfying the given implicit set specification are referred to by the given constant symbols.
SymbolTerm - Class in blog
A term consisting of a single symbol.
SymbolTerm(String) - Constructor for class blog.SymbolTerm
Creates a new SymbolTerm with the given symbol.
syntax_error(Symbol) - Method in class blog.BLOGParser
 

T

TabularCPD - Class in blog.distrib
CPD described by a table.
TabularCPD(List) - Constructor for class blog.distrib.TabularCPD
Creates a new tabular CPD with the given table rows.
TabularInterp - Class in blog.distrib
An interpretation for a function symbol, specified by listing argument tuples and the value that the function returns on each tuple.
TabularInterp(int) - Constructor for class blog.distrib.TabularInterp
Creates a new TabularInterp with an empty argument-value mapping.
TabularInterp(List) - Constructor for class blog.distrib.TabularInterp
Creates a new TabularInterp object with a specified argument-value mapping.
TabularReader - Class in common
Reads tabular files, that is, files where each line represents a row, and each row is broken up into fields (columns) by separator characters.
TabularReader(InputStream, char) - Constructor for class common.TabularReader
Create a new TabularReader that reads from the given input stream and uses the given separator character.
TabularReader(InputStream, char, boolean) - Constructor for class common.TabularReader
Create a new TabularReader that reads from the given input stream and uses the given separator character.
tailSet(Object) - Method in class common.IndexedTreeSet
 
tailSet(Object) - Method in class common.IndexedTreeSetDiff
 
take(Evidence) - Method in class blog.Particle
Takes evidence relative to some new time step, updates current world based on it, and recalculates particle weight according to its probability.
take(Evidence) - Method in class blog.ParticleFilter
Takes more evidence.
Term - Class in blog
Represents a Bayesian atom.
Term() - Constructor for class blog.Term
 
test(Object) - Method in interface common.UnaryPredicate
 
test1() - Method in class blog.ParticleFilterTest
 
test2() - Method in class blog.ParticleFilterTest
 
testLongerInterval() - Method in class blog.ParticleFilterTest
 
THEN - Static variable in class blog.BLOGTokenConstants
 
TIME_CONST - Static variable in class blog.BLOGTokenConstants
 
Timer - Class in common
A class for measuring how much time a program spends doing certain operations.
Timer() - Constructor for class common.Timer
Creates a new Timer that will not be registered to have its its time printed by Timer.printAllTimers.
Timer(String) - Constructor for class common.Timer
Creates a new Timer with the given name, and registers it so that its elapsed time will be printed by Timer.printAllTimers.
timestep() - Method in class blog.BasicVar
 
timestep() - Method in interface blog.BayesNetVar
Returns the timestep that this variable is associated with, or null if it is atemporal.
TIMESTEP - Static variable in class blog.BuiltInTypes
Type for timesteps.
timestep() - Method in class blog.DerivedVar
 
timestep() - Method in class blog.OriginVar
 
Timestep - Class in blog
Represents a time step, and is used for DBLOG (Dynamic BLOG) to indicate temporal random variables.
tokenToString(Symbol) - Static method in class blog.ParserUtilities
Returns a string representation for a token
TOLERANCE - Static variable in class common.Util
Maximum difference that we are willing to ignore between two floating-point values.
toString() - Method in class blog.AbstractCondProbDistrib
 
toString() - Method in class blog.AbstractPartialWorld
 
toString() - Method in class blog.ArgSpecQuery
 
toString() - Method in class blog.AtomicFormula
Returns the string representation of the underlying term.
toString() - Method in class blog.CardinalitySpec
 
toString() - Method in class blog.Clause
 
toString() - Method in class blog.CompiledSetSpec
 
toString() - Method in class blog.ConjFormula
Returns a string of the form (psi_1 & ...
toString() - Method in class blog.DependencyModel.Distrib
 
toString() - Method in class blog.DerivedVar
Returns the string representation of this derived variable's ArgSpec.
toString() - Method in class blog.DisjFormula
Returns a string of the form (psi_1 | ...
toString() - Method in class blog.distrib.Beta
 
toString() - Method in class blog.distrib.Binomial
 
toString() - Method in class blog.distrib.BoundedGeometric
 
toString() - Method in class blog.distrib.Geometric
 
toString() - Method in class blog.distrib.NegativeBinomial
 
toString() - Method in class blog.distrib.Poisson
 
toString() - Method in class blog.distrib.TabularCPD
 
toString() - Method in class blog.EnumeratedObject
Returns this object's name.
toString() - Method in class blog.EqualityFormula
Returns a string of the form (t1 = t2) where t1 and t2 are the terms being compared in this EqualityFormula.
toString() - Method in class blog.Evidence
 
toString() - Method in class blog.ExistentialFormula
 
toString() - Method in class blog.ExplicitSetSpec
Returns a string of the form {t1, ..., tK} where t1, ..., tK are the terms in this explicit set specification.
toString() - Method in class blog.FuncAppTerm
If this function application terms involves a non-zero number of arguments, returns a string of the form f(t1, ..., tK) where f is the string representation of the function and t1, ..., tK are string representations of the argument terms.
toString() - Method in class blog.Function.Sig
 
toString() - Method in class blog.Function
Returns this function's name.
toString() - Method in class blog.GenericObject
 
toString() - Method in class blog.GenericPOPAppSatisfier
 
toString() - Method in class blog.ImplicFormula
 
toString() - Method in class blog.ImplicitSetSpec
Returns a string of the form {Type var : cond} where Type is this implicit set specification's type, var is the generic set element variable, and cond is the membership condition.
toString() - Method in class blog.LogicalVar
Returns the name of this variable.
toString() - Method in class blog.NegFormula
Returns a string of the form !psi where psi is the negated formula.
toString() - Method in class blog.NonGuaranteedObject
Returns the tuple representation of this object.
toString() - Method in class blog.NumberVar
Returns a string of the form #Type(f1 = o1, ..., fK = oK) where f1, ..., fK are the origin functions and o1, ..., oK are the generating objects.
toString() - Method in class blog.ObjectIdentifier
 
toString() - Method in class blog.ObjGenGraph.GuaranteedNode
 
toString() - Method in class blog.ObjGenGraph.IntegerNode
 
toString() - Method in class blog.ObjGenGraph.OrNode
 
toString() - Method in class blog.ObjGenGraph.POPNode
 
toString() - Method in class blog.ObjGenGraph.TermNode
 
toString() - Method in class blog.OriginVar
 
toString() - Method in class blog.POP
Returns a string of the form #Type(f1, ..., fK) where Type is the type of object generated and f1, ..., fK are the origin functions.
toString() - Method in class blog.POPAppBasedSet
 
toString() - Method in class blog.RandFuncAppVar
 
toString() - Method in class blog.Substitution
 
toString() - Method in class blog.SymbolEvidenceStatement
 
toString() - Method in class blog.SymbolTerm
 
toString() - Method in class blog.Timestep
 
toString() - Method in class blog.TrueFormula
Returns the string "true".
toString() - Method in class blog.TupleSetSpec
Returns a string of the form {t1, ..., tK for T1 v1, ..., TN vN : cond} where t1, ..., tK are the terms, T1, ..., TN are the variable types, v1, ..., vN are the variables, and cond is the condition.
toString() - Method in class blog.Type
Returns the name of this type.
toString() - Method in class blog.UniversalFormula
 
toString() - Method in class blog.ValueEvidenceStatement
 
toString() - Method in class common.AbstractMultiset.Entry
 
toString() - Method in class common.cmdline.AbstractOption
 
toString() - Method in class common.DenseVector
 
toString() - Method in class common.Histogram.Entry
 
toString() - Method in class common.LocationInFile
Returns a string consisting of the file name, followed by a colon, followed by the line number.
toString() - Method in class common.PrecisionRecall
 
toString() - Method in class common.SamplingMultiset
 
toString() - Method in class common.SparseVector
 
toString() - Method in class common.Timer
Returns a string containing this Timer's name and elapsed time.
totalCount() - Method in class common.SamplingMultiset
Returns the total count of all elements.
totalNumAccepted - Variable in class blog.MHSampler
 
totalNumInitialStateTries - Variable in class blog.GenericProposer
 
totalNumSamples - Variable in class blog.MHSampler
 
totalReferences() - Method in class common.DefaultReferenceHistogram
 
totalReferences() - Method in interface common.ReferenceHistogram
Returns the total number of references in this histogram.
trialNum - Variable in class blog.ArgSpecQuery
 
TRUE - Static variable in class blog.BLOGTokenConstants
 
TRUE - Static variable in class blog.TrueFormula
A canonical instance of TrueFormula.
TrueFormula - Class in blog
A Formula consisting of just the zero-ary logical operator "true", which is true in every world under every assignment.
TrueFormula() - Constructor for class blog.TrueFormula
Creates a new TrueFormula.
truncateList(RandomFunction, Object[], int) - Method in class blog.AbstractPartialWorld
 
truncateList(RandomFunction, Object[], int) - Method in interface blog.PartialWorld
Uninstantiates the variables for the values of f on all tuples of arguments of the form (arg1, ..., argK, i) where (arg1, ..., argK) are given by initialArgs and i is greater than or equal to len.
truncateNumberList(POP, Object[], int) - Method in class blog.AbstractPartialWorld
 
truncateNumberList(POP, Object[], int) - Method in interface blog.PartialWorld
Uninstantiates the number variables for pop on all tuples of arguments of the form (arg1, ..., argK, i) where (arg1, ..., argK) are given by initialArgs and i is greater than or equal to len.
TupleIterator - Class in common
This class is an iterator over all tuples in a finite cartesian product of finite sets.
TupleIterator(List) - Constructor for class common.TupleIterator
Constructor.
TupleSetSpec - Class in blog
Represents an argument - set consisting of implicitly specified tuples.
TupleSetSpec(List, List, List, Formula) - Constructor for class blog.TupleSetSpec
 
TupleSetSpec(Term[], LogicalVar[], Formula) - Constructor for class blog.TupleSetSpec
 
type - Variable in class blog.BLOGParser.TypedVar
 
TYPE - Static variable in class blog.BLOGTokenConstants
 
type() - Method in class blog.POP
 
Type - Class in blog
Represents a type in a BLOG model.
Type(String) - Constructor for class blog.Type
Creates a new type with the given name that is not a sub-type of any other type.
Type(String, Type) - Constructor for class blog.Type
Creates a type with the given name that is a direct sub-type of supertype.
Type(String, Type, boolean) - Constructor for class blog.Type
Creates a type with the given name that is a direct sub-type of supertype.
types - Variable in class blog.Model
Stores user-defined Type objects in the order they were declared.
typesByName - Variable in class blog.Model
Maps type names to Type objects.

U

UnaryFunction - Interface in common
The interface of a unary function, useful for anonymous classes used as Lambda operators.
UnaryPredicate - Interface in common
The interface of a unary predicate, useful for anonymous classes used as Lambda operators.
unassign(LogicalVar) - Method in class blog.DefaultEvalContext
 
unassign(LogicalVar) - Method in interface blog.EvalContext
Erases any value currently assigned to the given logical variable.
unassignTuple(LogicalVar[]) - Method in class blog.DefaultEvalContext
 
unassignTuple(LogicalVar[]) - Method in interface blog.EvalContext
Erases any values currently assigned to any of the given logical variables.
UNDET - Static variable in interface blog.PartialWorld
Value used in the maps returned by varToLogProbMap and derivedVarToValueMap for basic variables that are not supported in the world, and for derived variables whose values are not determined.
UNDETERMINED_SET - Static variable in interface blog.ObjectSet
 
unfilteredIterator(EvalContext) - Method in class blog.CompiledSetSpec
Returns an iterator over the objects specified by the underlying ObjGenGraphs.
UNIFORM_WEIGHT - Static variable in class blog.distrib.StringEditModel
 
UniformChoice - Class in blog.distrib
CPD that takes a set of objects (an instance of the ObjectSet interface) as an argument, and defines a uniform distribution over this set.
UniformChoice() - Constructor for class blog.distrib.UniformChoice
Creates a UniformChoice CPD.
UniformChoice(List) - Constructor for class blog.distrib.UniformChoice
Creates a UniformChoice CPD.
uniformDistrib(IndexedSet) - Static method in class common.Util
 
UniformInt - Class in blog.distrib
Uniform distribution over a range of integers.
UniformInt(List) - Constructor for class blog.distrib.UniformInt
Interprets the parameters as a pair of integers (lower, upper) and creates a uniform distribution over the range {lower, ..., upper}.
UniformReal - Class in blog.distrib
Uniform distribution over a range of real numbers [lower, upper).
UniformReal(List) - Constructor for class blog.distrib.UniformReal
Interprets the parameters as a pair of real numbers (lower, upper) and creates a uniform distribution over the range [lower, upper).
uniformSample(Set) - Static method in class common.Util
Uniformly sample from a set.
UniformVector - Class in blog.distrib
The uniform distribution over n-dimensional column vectors coming from a specified n-dimensional "box".
UniformVector(List) - Constructor for class blog.distrib.UniformVector
The constructor takes an even number of parameters.
uninstVarIterator() - Method in class blog.WorldInProgress
Returns an iterator over the basic random variables whose arguments necessarily exist in this world, but which are not yet instantiated.
UnivarGaussian - Class in blog.distrib
Gaussian (normal) distribution over real numbers.
UnivarGaussian(double, double) - Constructor for class blog.distrib.UnivarGaussian
Creates a univariate Gaussian distribution with the given fixed mean and variance.
UnivarGaussian(List) - Constructor for class blog.distrib.UnivarGaussian
Creates a univariate Gaussian distribution.
UniversalFormula - Class in blog
Represents a universal instantiation for one variable using one expression of type Formula.
UniversalFormula(String, Type, Formula) - Constructor for class blog.UniversalFormula
 
UniversalFormula(LogicalVar, Formula) - Constructor for class blog.UniversalFormula
 
unrecovered_syntax_error(Symbol) - Method in class blog.BLOGParser
 
updateBayesNet(DGraph, MapWithPreimages, Map, Map) - Method in class blog.AbstractPartialWorld
 
updateBayesNet(DGraph, MapWithPreimages, Map, Map) - Method in interface blog.PartialWorld
Provides the Bayes net, the mapping from variables to uninstantiated parents, the mapping from basic variables to log probabilities, and the mapping from derived variables to values for this partial world.
updateParams() - Method in class common.Bernoulli
Sets the parameter probTrue to the value that maximizes the likelihood of the values passed to collectStats since the last call to updateParams.
updateParams() - Method in class common.BinarySequenceDistrib
Sets the parameter probTrue to the value that maximizes the likelihood of the arrays passed to collectStats since the last call to updateParams.
updateParams() - Method in class common.Geometric
Sets the parameter alpha to the value that maximizes the likelihood of the numbers passed to collectStats since the last call to updateParams.
updateParams() - Method in class common.Multinomial
Sets the parameter array pi to the values that maximize the likelihood of the elements passed to collectStats since the last call to updateParams.
updateParams() - Method in class common.MultinomialWithTail
Sets the parameter lambda to the value that maximizes the likelihood of the numbers passed to collectStats since the last call to updateParams.
updateParentsAndProbs() - Method in class blog.AbstractPartialWorld
Ensure that parent sets, basic variable log probabilities, and derived variable values are all up to date.
updateQueriesStats(Collection) - Method in class blog.Particle
 
updateStats(PartialWorld, double) - Method in class blog.ArgSpecQuery
 
updateStats(PartialWorld, double) - Method in class blog.FormulaQuery
 
updateStats(boolean) - Method in class blog.GenericProposer
 
updateStats(boolean) - Method in interface blog.Proposer
Updates any statistics maintained by this proposer to reflect the fact that the most recent proposal was accepted (if accepted is true) or rejected (if accepted is false).
updateStats(PartialWorld, double) - Method in interface blog.Query
Updates the within-run statistics for this query to reflect the given world sampled with the given weight.
updateStats(boolean) - Method in class blog.UrnBallsSplitMerge
 
updateStats(boolean) - Method in class blog.UrnBallsSplitMergeNoIds
 
UrnBallsSplitMerge - Class in blog
Split-merge proposal distribution for the urn-and-balls model.
UrnBallsSplitMerge(Model, Properties) - Constructor for class blog.UrnBallsSplitMerge
Creates a new UrnBallSplitMerge proposer for the given model.
UrnBallsSplitMergeNoIds - Class in blog
Split-merge proposal distribution for the urn and balls scenario that doesn't use identifiers.
UrnBallsSplitMergeNoIds(Model, Properties) - Constructor for class blog.UrnBallsSplitMergeNoIds
Creates a new UrnBallSplitMerge proposer for the given model.
user_init() - Method in class blog.BLOGParser
User initialization code.
usesIdentifiers(Type) - Method in class blog.DefaultEvalContext
 
usesIdentifiers(Type) - Method in interface blog.EvalContext
Returns true if the world that underlies this context uses object identifiers for the given type.
Util - Class in common
Provides common utilities to FOMIE programs.
Util() - Constructor for class common.Util
 
Util.InversePolynomialSampler - Class in common
A sampler of nonnegative reals following an inverse polynomial density 1/((x+\delta)^n), \delta > 0.
Util.InversePolynomialSampler(double) - Constructor for class common.Util.InversePolynomialSampler
Creates sampler with mass beyond upper limit set to 0.01, with n = 2..
Util.InversePolynomialSampler(double, double) - Constructor for class common.Util.InversePolynomialSampler
Creates sampler with mass beyond upper limit set to 0.01.
Util.InversePolynomialSampler(double, double, double) - Constructor for class common.Util.InversePolynomialSampler
 

V

ValueEvidenceStatement - Class in blog
Represents a statement that a certain term has a certain value.
ValueEvidenceStatement(Term, Term) - Constructor for class blog.ValueEvidenceStatement
Creates a ValueEvidenceStatement of the form: leftSide = output.
values() - Method in class common.AbstractMapWithPreimages
 
valueSet() - Method in class common.AbstractMapWithPreimages
 
valueSet() - Method in interface common.MapWithPreimages
Returns the set of values in the map.
var - Variable in class blog.BLOGParser.TypedVar
 
varChanged(BasicVar, Object, Object) - Method in interface blog.WorldListener
Called when the value of a basic random variable has changed.
variable - Variable in class blog.ArgSpecQuery
 
variance(Collection) - Static method in class common.Util
Returns the variance of a collection of objects assumed to be Numbers.
varToLogProb - Variable in class blog.AbstractPartialWorld
Map from instantiated VarWithDistrib objects to Double values representing their log probabilities given their parents.
varToLogProbMap() - Method in class blog.AbstractPartialWorld
 
varToLogProbMap() - Method in interface blog.PartialWorld
Map from instantiated VarWithDistrib objects to Double values representing their log probabilities given their parents.
varToSample - Variable in class blog.GenericProposer.PickVarToSampleResult
 
varToUninstParent - Variable in class blog.AbstractPartialWorld
MapWithPreimages from BayesNetVars to their first uninstantiated parents.
varToUninstParentMap() - Method in class blog.AbstractPartialWorld
 
varToUninstParentMap() - Method in interface blog.PartialWorld
MapWithPreimages from BayesNetVars to their first uninstantiated parents.
VarWithDistrib - Class in blog
Abstract class for variables that have a distribution specified by the BLOG model.
VarWithDistrib(Object[]) - Constructor for class blog.VarWithDistrib
Creates a new VarWithDistrib with the given tuple of arguments or generating objects.
VarWithDistrib(Object[], boolean) - Constructor for class blog.VarWithDistrib
Creates a new VarWithDistrib with the given tuple of arguments or generating objects.
VarWithDistrib(List) - Constructor for class blog.VarWithDistrib
Creates a new VarWithDistrib with the given tuple of arguments or generating objects.
VectorInRect - Class in blog.distrib
Function that takes a column vector as an argument and returns true if the vector is in a certain rectangle.
VectorInRect(List) - Constructor for class blog.distrib.VectorInRect
Creates a new VectorInRect function interpretation with min and max values for each dimension specified by the given parameter list.
verbose() - Static method in class common.Util
Returns true if the program should print extra status messages.
VMINUS - Static variable in class blog.BuiltInFunctions
A function on RVectors x, y that returns the element-wise difference of x and y.
VPLUS - Static variable in class blog.BuiltInFunctions
A function on RVectors x, y that returns the element-wise sum of x and y.

W

wasPresent() - Method in class common.cmdline.AbstractOption
Returns true if any form of this option occurred on the command line.
WeakHashSet - Class in common
A HashSet class that uses weak references to its elements.
WeakHashSet() - Constructor for class common.WeakHashSet
Creates a new, empty WeakHashSet.
WeakHashSet(Collection) - Constructor for class common.WeakHashSet
Creates a new WeakHashSet whose elements are weak references to the elements of the given collection.
withinTol(double, double) - Static method in class common.Util
Returns true if the two given values differ by no more than Util.TOLERANCE.
world - Variable in class blog.DefaultEvalContext
 
WorldDiffListener - Interface in blog
Interface for objects that can be notified when a PartialWorldDiff object is saved or reverted.
WorldInProgress - Class in blog
PartialWorld implementation that maintains a list of uninstantiated VarWithDistrib objects, and allows variables to be instantiated using a special method of an iterator over this list.
WorldInProgress(Model, Evidence, int, int) - Constructor for class blog.WorldInProgress
Creates a new WorldInProgress with no instantiated random variables.
WorldInProgress.UninstVarIterator - Class in blog
Inner class for iterating over the list of uninstantiated variables.
WorldInProgress.UninstVarIterator() - Constructor for class blog.WorldInProgress.UninstVarIterator
 
WorldListener - Interface in blog
Interface for objects that can be notified of changes to the values of random variables in a PartialWorld.
worldUpdateTimer - Variable in class blog.MHSampler
 

Z

ZERO - Static variable in class blog.BuiltInFunctions
Constant that denotes the natural number 0.
zeroOut() - Method in class blog.ArgSpecQuery
 
zeroOut() - Method in class blog.FormulaQuery
 
zeroOut() - Method in interface blog.Query
Ends the current run, records across-run statistics for it, and clears the within-run statistics.

_

_action_table - Static variable in class blog.BLOGParser
Parse-action table.
_production_table - Static variable in class blog.BLOGParser
Production table.
_reduce_table - Static variable in class blog.BLOGParser
reduce_goto table.

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