org.linqs.psl.model.atom

Class QueryAtom

java.lang.Object

org.linqs.psl.model.atom.Atom

org.linqs.psl.model.atom.QueryAtom

All Implemented Interfaces:

Formula, SummationAtomOrAtom

public class QueryAtom
extends Atom

An Atom that can be used in a query, but does not have a truth value.

Arguments to a QueryAtom can be a mix of Variables and GroundTerms. In other words, they are not necessarily ground and can be used for matching GroundAtoms in a query.

Field Summary

Fields inherited from class org.linqs.psl.model.atom.Atom

arguments, hashcode, predicate

Constructor Summary

Constructors

Constructor and Description
QueryAtom(Predicate predicate, Term... args)

Method Summary

Modifier and Type	Method and Description
void	assume(Predicate predicate, Term... args) Have this QueryAtom assume new values.
VariableTypeMap	collectVariables(VariableTypeMap varMap) Adds the Variables
GroundAtom	ground(AtomManager atomManager, ResultList res, int resultIndex)
GroundAtom	ground(AtomManager atomManager, ResultList res, int resultIndex, Constant[] newArgs) Ground using the passed in buffer.

Methods inherited from class org.linqs.psl.model.atom.Atom

equals, flatten, getArguments, getArity, getAtoms, getDNF, getPredicate, hashCode, init, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

QueryAtom

public QueryAtom(Predicate predicate,
                 Term... args)

Method Detail

assume

public void assume(Predicate predicate,
                   Term... args)

Have this QueryAtom assume new values. Do not use unless you really know what you are doing. Typical usage would just create a new QueryAtom.

ground

public GroundAtom ground(AtomManager atomManager,
                         ResultList res,
                         int resultIndex)

ground

public GroundAtom ground(AtomManager atomManager,
                         ResultList res,
                         int resultIndex,
                         Constant[] newArgs)

Ground using the passed in buffer. The buffer cannot be held as member datum or statically for thread-safety. It is up to the caller to make sure the buffer is only used on this thread.

collectVariables

public VariableTypeMap collectVariables(VariableTypeMap varMap)

Description copied from interface: Formula

Adds the Variables

Returns:

the passed in VariableTypeMap filled with the variables this formula uses.