Class Record

java.lang.Object

org.projog.core.predicate.builtin.db.Record

class Record
extends Object

Represents a record stored in a RecordedDatabase.

Field Summary

Fields

Modifier and Type	Field	Description
private final PredicateKey	key
private final IntegerNumber	reference
private final Term	value

Constructor Summary

Constructors

Constructor	Description
Record(PredicateKey key, IntegerNumber reference, Term value)

Method Summary

Modifier and Type	Method	Description
(package private) Term	getKey()
(package private) IntegerNumber	getReference()
(package private) Term	getValue()

Methods inherited from class Object

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

Field Details

key

private final PredicateKey key

reference

private final IntegerNumber reference

value

private final Term value

Constructor Details

Record

Record(PredicateKey key,
 IntegerNumber reference,
 Term value)

Method Details

getKey

Term getKey()

getReference

IntegerNumber getReference()

getValue

Term getValue()