|
|||||||||
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 Sentence s
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 Sentence
s
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 Sentence
container
- 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 |