public class FactsList
extends java.lang.Object
Constructor and Description |
---|
FactsList() |
Modifier and Type | Method and Description |
---|---|
void |
addFact(Fact f) |
Fact |
getFact(int factID) |
java.util.concurrent.ConcurrentSkipListSet<Fact> |
getFactList() |
boolean |
isEmpty() |
void |
removeFact(Fact f) |
void |
setFactList(java.util.concurrent.ConcurrentSkipListSet<Fact> factList) |
public java.util.concurrent.ConcurrentSkipListSet<Fact> getFactList()
public void setFactList(java.util.concurrent.ConcurrentSkipListSet<Fact> factList)
public void addFact(Fact f)
public void removeFact(Fact f)
public boolean isEmpty()
public Fact getFact(int factID)