public class QueryAtom extends Atom
Constructor and Description |
---|
QueryAtom(Predicate predicate,
Term... args) |
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,
Constant[] queryResults,
Map<Variable,Integer> projectionMap) |
GroundAtom |
ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap,
Constant[] newArgs) |
GroundAtom |
ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap,
Constant[] newArgs,
boolean checkDBCache) |
GroundAtom |
ground(AtomManager atomManager,
ResultList res,
int resultIndex) |
GroundAtom |
ground(AtomManager atomManager,
ResultList res,
int resultIndex,
Constant[] newArgs)
Ground using the passed in buffer.
|
GroundAtom |
ground(AtomManager atomManager,
ResultList res,
int resultIndex,
Constant[] newArgs,
boolean checkDBCache) |
equals, flatten, getArguments, getArity, getAtoms, getDNF, getPredicate, getVariables, hashCode, init, toString
public void assume(Predicate predicate, Term... args)
public GroundAtom ground(AtomManager atomManager, ResultList res, int resultIndex)
public GroundAtom ground(AtomManager atomManager, ResultList res, int resultIndex, Constant[] newArgs)
public GroundAtom ground(AtomManager atomManager, ResultList res, int resultIndex, Constant[] newArgs, boolean checkDBCache)
public GroundAtom ground(AtomManager atomManager, Constant[] queryResults, Map<Variable,Integer> projectionMap)
public GroundAtom ground(AtomManager atomManager, Constant[] queryResults, Map<Variable,Integer> projectionMap, Constant[] newArgs)
public GroundAtom ground(AtomManager atomManager, Constant[] queryResults, Map<Variable,Integer> projectionMap, Constant[] newArgs, boolean checkDBCache)
public VariableTypeMap collectVariables(VariableTypeMap varMap)
Formula
Variables
Copyright © 2020 University of California, Santa Cruz. All rights reserved.