|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--fcmodeler.mapping.CompositeSentence
A composite sentence in first-order logic. This sentence is of the form
Sentence Connective Sentence
This sentence can be used to build up complex sentences using other sentences and connectives.
| Constructor Summary | |
CompositeSentence(Sentence first,
Connective connective,
Sentence second)
Creates a new CompositeSentence that uses the specified Sentences
and Connective. |
|
| Method Summary | |
boolean |
evaluate(diva.util.PropertyContainer container)
Evaluates this sentence using the specified PropertyContainer. |
Connective |
getConnective()
Returns the connective used in this composite sentence. |
Sentence |
getFirstSentence()
Returns the first sentence used in this composite sentence. |
Sentence |
getSecondSentence()
Returns the second sentence used in this composite sentence. |
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public CompositeSentence(Sentence first,
Connective connective,
Sentence second)
CompositeSentence that uses the specified Sentences
and Connective.first - the first sentence of this composite sentence.connective - the connective used to join the first and second sentences.second - the second sentence of this composite sentence.| Method Detail |
public boolean evaluate(diva.util.PropertyContainer container)
PropertyContainer. This class
just sends the request to its two Sentence objects, then returns the result
of the Connective.evaluate method.evaluate in interface Sentencecontainer - the PropertyContainer used to evaluate this sentence.true if this sentence evaluates to true using the specified PropertyContainer; false otherwise.public Connective getConnective()
public Sentence getFirstSentence()
public Sentence getSecondSentence()
public java.lang.String toString()
toString in class java.lang.Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||