Class Clauses

java.lang.Object

org.projog.core.predicate.udp.Clauses

class Clauses
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final List<ClauseAction>	clauses
private static final Clauses	EMPTY
private final int[]	immutableColumns

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Clauses(List<ClauseAction> actions, int[] immutableColumns)

Method Summary

Modifier and Type	Method	Description
private static int	count(boolean[] a)
private static boolean[]	createArray(int numArgs, Term query)
(package private) static Clauses	createFromActions(KnowledgeBase kb, List<ClauseAction> actions, Term arg)
(package private) static Clauses	createFromModels(KnowledgeBase kb, List<ClauseModel> models)
(package private) ClauseAction[]	getClauseActions()
(package private) int[]	getImmutableColumns()
private static boolean	isAnonymousVariable(Term arg)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

EMPTY

private static final Clauses EMPTY

clauses

private final List<ClauseAction> clauses

immutableColumns

private final int[] immutableColumns

Constructor Details

Clauses

private Clauses(List<ClauseAction> actions,
 int[] immutableColumns)

Method Details

createFromModels

static Clauses createFromModels(KnowledgeBase kb,
 List<ClauseModel> models)

createFromActions

static Clauses createFromActions(KnowledgeBase kb,
 List<ClauseAction> actions,
 Term arg)

createArray

private static boolean[] createArray(int numArgs,
 Term query)

isAnonymousVariable

private static boolean isAnonymousVariable(Term arg)

count

private static int count(boolean[] a)

getImmutableColumns

int[] getImmutableColumns()

getClauseActions

ClauseAction[] getClauseActions()