|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.deri.iris.optimisations.magicsets.AdornedProgram
public class AdornedProgram
This is a simple implementation of an adorned program. NOTE: At the moment this class only works with rules with one literal in the head.
| Nested Class Summary | |
|---|---|
static class |
AdornedProgram.AdornedPredicate
Represents an adorned predicate. |
static class |
AdornedProgram.AdornedRule
Simple representation of an adorned rule. |
| Constructor Summary | |
|---|---|
AdornedProgram(Collection<IRule> rules,
IQuery query)
Creates a new adorned program depending on the submitted rules and the query. |
|
| Method Summary | |
|---|---|
boolean |
equals(Object object)
|
Set<AdornedProgram.AdornedPredicate> |
getAdornedPredicates()
|
Set<AdornedProgram.AdornedRule> |
getAdornedRules()
|
Set<IRule> |
getNormalRules()
|
IQuery |
getQuery()
|
int |
hashCode()
|
String |
toString()
This returns a simple string representation of this program. |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public AdornedProgram(Collection<IRule> rules,
IQuery query)
rules - for which to create the programquery - for the program
IllegalArgumentException - if the rules are null
IllegalArgumentException - if the queries are null
IllegalArgumentException - if the size of the head literals, or of the query literals is
bigger than 1
IllegalArgumentException - if the list of rules contains null| Method Detail |
|---|
public String toString()
This returns a simple string representation of this program. The subject of this representation is to change.
The return of this method will look something like: all adorned rules with one line for each rule, blank line, all normal rules with one line for each rule, blank line, the query.
toString in class Objectpublic int hashCode()
hashCode in class Objectpublic boolean equals(Object object)
equals in class Objectpublic Set<AdornedProgram.AdornedRule> getAdornedRules()
public Set<IRule> getNormalRules()
public Set<AdornedProgram.AdornedPredicate> getAdornedPredicates()
public IQuery getQuery()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||