Class Index

java.lang.Object

org.projog.core.predicate.udp.Index

final class Index
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class Object

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

Field Details

NO_MATCHES

private static final ClauseAction[] NO_MATCHES

positions

private final int[] positions

result

private final Map<Object, ClauseAction[]> result

keyFactory

private final KeyFactories.KeyFactory keyFactory

Constructor Details

Index

Index(int[] positions,
 Map<Object, ClauseAction[]> result)

Method Details

getMatches

ClauseAction[] getMatches(Term[] args)

getKeyCount

int getKeyCount()