|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.deri.iris.facts.OriginalFactsPreservingFacts
public class OriginalFactsPreservingFacts
A facts adaptor that allows modification (i.e. adding more facts) without modifying the original facts.
| Constructor Summary | |
|---|---|
OriginalFactsPreservingFacts(IFacts original,
IRelationFactory relationFactory)
Constructor. |
|
| Method Summary | |
|---|---|
IRelation |
get(IPredicate predicate)
Get the relation associated with the given predicate and create one if one does not already exist. |
Set<IPredicate> |
getPredicates()
Get the set of predicate identifying all relations known to this facts object. |
String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public OriginalFactsPreservingFacts(IFacts original,
IRelationFactory relationFactory)
original - The original facts that will be preserved, i.e. not altered by this class.relationFactory - The relation factory to use.| Method Detail |
|---|
public IRelation get(IPredicate predicate)
IFacts
get in interface IFactspredicate - The predicate identifying the relation.
public Set<IPredicate> getPredicates()
IFacts
getPredicates in interface IFactspublic String toString()
toString in class Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||