public interface Page
Modifier and Type | Method and Description |
---|---|
int |
getPageID()
Returns the unique id of this Page.
|
boolean |
isDirty()
Returns true if this page is dirty, false otherwise.
|
void |
setDirty(boolean dirty)
Sets the dirty flag of this page.
|
void |
setPageID(int id)
Sets the unique id of this Page.
|
int getPageID()
void setPageID(int id)
id
- the id to be setboolean isDirty()
void setDirty(boolean dirty)
dirty
- the dirty flag to be setCopyright © 2015 ELKI Development Team, Lehr- und Forschungseinheit für Datenbanksysteme, Ludwig-Maximilians-Universität München. License information.