Package org.projog.core.predicate.builtin.db

Class RecordedDatabase.Link

java.lang.Object

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

Enclosing class:

RecordedDatabase

private static class RecordedDatabase.Link
extends java.lang.Object

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

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 Detail

Link

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