Class RecordedDatabase.Link

java.lang.Object

org.projog.core.predicate.builtin.db.RecordedDatabase.Link

Enclosing class:

RecordedDatabase

private static class RecordedDatabase.Link
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final RecordedDatabase.Chain	chain
(package private) boolean	deleted
(package private) RecordedDatabase.Link	next
(package private) RecordedDatabase.Link	previous
(package private) final IntegerNumber	reference
(package private) final Term	value

Constructor Summary

Constructors

Constructor	Description
Link(RecordedDatabase.Chain chain, IntegerNumber reference, Term value)

Method Summary

Methods inherited from class Object

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

Field Details

chain

final RecordedDatabase.Chain chain

reference

final IntegerNumber reference

value

final Term value

previous

RecordedDatabase.Link previous

next

RecordedDatabase.Link next

deleted

boolean deleted

Constructor Details

Link

Link(RecordedDatabase.Chain chain,
 IntegerNumber reference,
 Term value)