Package org.projog.core.predicate.udp

Class Index

java.lang.Object

org.projog.core.predicate.udp.Index

final class Index
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
private KeyFactories.KeyFactory	keyFactory
private static ClauseAction[]	NO_MATCHES
private int[]	positions
private java.util.Map<java.lang.Object,ClauseAction[]>	result

Constructor Summary

Constructors

Constructor	Description
Index(int[] positions, java.util.Map<java.lang.Object,ClauseAction[]> result)

Method Summary

Modifier and Type	Method	Description
(package private) int	getKeyCount()
(package private) ClauseAction[]	getMatches(Term[] args)

Methods inherited from class java.lang.Object

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

Field Detail

NO_MATCHES

private static final ClauseAction[] NO_MATCHES

positions

private final int[] positions

result

private final java.util.Map<java.lang.Object,ClauseAction[]> result

keyFactory

private final KeyFactories.KeyFactory keyFactory

Constructor Detail

Index

Index(int[] positions,
      java.util.Map<java.lang.Object,ClauseAction[]> result)

Method Detail

getMatches

ClauseAction[] getMatches(Term[] args)

getKeyCount

int getKeyCount()