Package org.projog.core.predicate.udp

Class Clauses

java.lang.Object

org.projog.core.predicate.udp.Clauses

class Clauses
extends java.lang.Object

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Clauses(java.util.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, java.util.List<ClauseAction> actions, Term arg)
(package private) static Clauses	createFromModels(KnowledgeBase kb, java.util.List<ClauseModel> models)
(package private) ClauseAction[]	getClauseActions()
(package private) int[]	getImmutableColumns()
private static boolean	isAnonymousVariable(Term arg)

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

private static final Clauses EMPTY

clauses

private final java.util.List<ClauseAction> clauses

immutableColumns

private final int[] immutableColumns

Constructor Detail

Clauses

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

Method Detail

createFromModels

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

createFromActions

static Clauses createFromActions(KnowledgeBase kb,
                                 java.util.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()