|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectreasoner.OpQuery
public class OpQuery
This class represents a Query in the form (Q)AopB, where A and B are ConcreteConcept, op is binary operator between Concepts and Q is Quantifier.
Field Summary | |
---|---|
private reasoner.Concept |
c1
|
private reasoner.Concept |
c2
|
private reasoner.Concept |
d
|
private java.text.NumberFormat |
formatter
|
private reasoner.Role |
is
|
private reasoner.KnowledgeBase |
kb
|
private java.util.Map<java.lang.String,java.lang.Double> |
lastvalues
|
private java.lang.String |
operator
|
private reasoner.Quantifier |
q
|
private reasoner.ConcreteConcept |
tc1
The first ConcreteConcept |
private reasoner.ConcreteConcept |
tc2
The first ConcreteConcept |
Constructor Summary | |
---|---|
OpQuery(reasoner.ConcreteConcept tc1,
java.lang.String operator,
reasoner.ConcreteConcept tc2,
reasoner.KnowledgeBase kb)
Constructor by two ConcreteConcepts, binary operator and KnowledgeBase |
|
OpQuery(reasoner.Quantifier q,
reasoner.ConcreteConcept tc1,
java.lang.String operator,
reasoner.ConcreteConcept tc2,
reasoner.KnowledgeBase kb)
Constructor by Quantifier, two ConcreteConcepts, binary operator and KnowledgeBase |
Method Summary | |
---|---|
double |
evaluate()
Evaluates this Query. |
java.lang.String |
evaluateString(boolean incremental)
Evaluates this OpQuery and returns a String result. |
reasoner.Concept |
getC1()
|
reasoner.Concept |
getC2()
|
reasoner.Concept |
getD()
|
reasoner.Role |
getIs()
|
reasoner.KnowledgeBase |
getKb()
|
java.util.Map<java.lang.String,java.lang.Double> |
getLastvalues()
|
java.lang.String |
getMeaning()
Gives a String about this Query meaning |
java.lang.String |
getOperator()
|
reasoner.Quantifier |
getQ()
|
reasoner.ConcreteConcept |
getTc1()
|
reasoner.ConcreteConcept |
getTc2()
|
void |
setC1(reasoner.Concept c1)
|
void |
setC2(reasoner.Concept c2)
|
void |
setD(reasoner.Concept d)
|
void |
setIs(reasoner.Role r)
|
void |
setKb(reasoner.KnowledgeBase kb)
|
void |
setLastvalues(java.util.Map<java.lang.String,java.lang.Double> lastvalues)
|
void |
setOperator(java.lang.String operator)
|
void |
setQ(reasoner.Quantifier q)
|
void |
setTc1(reasoner.ConcreteConcept tc1)
|
void |
setTc2(reasoner.ConcreteConcept tc2)
|
java.lang.String |
toString()
Gives a String representation for this Query |
private reasoner.Concept |
trap2Concept(reasoner.ConcreteConcept tc)
Converts a ConcreteConcept in a Concept |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private reasoner.ConcreteConcept tc1
private reasoner.ConcreteConcept tc2
private reasoner.Concept c1
private reasoner.Concept c2
private reasoner.Concept d
private reasoner.Role is
private reasoner.Quantifier q
private java.lang.String operator
private reasoner.KnowledgeBase kb
private java.util.Map<java.lang.String,java.lang.Double> lastvalues
private java.text.NumberFormat formatter
Constructor Detail |
---|
public OpQuery(reasoner.ConcreteConcept tc1, java.lang.String operator, reasoner.ConcreteConcept tc2, reasoner.KnowledgeBase kb)
tc1
- the first ConcreteConceptoperator
- the operatortc2
- the second ConcreteConceptkb
- the KnowledgeBasepublic OpQuery(reasoner.Quantifier q, reasoner.ConcreteConcept tc1, java.lang.String operator, reasoner.ConcreteConcept tc2, reasoner.KnowledgeBase kb)
q
- the Quantifiertc1
- the first ConcreteConceptoperator
- the operatortc2
- the second ConcreteConceptkb
- the KnowledgeBaseMethod Detail |
---|
private reasoner.Concept trap2Concept(reasoner.ConcreteConcept tc)
tc
- the ConcreteConcept
public double evaluate()
reasoner.Query
evaluate
in interface reasoner.Query
public java.lang.String evaluateString(boolean incremental)
incremental
- if true
then incremental evaluation
public java.lang.String getOperator()
public void setOperator(java.lang.String operator)
operator
- the operator to setpublic reasoner.ConcreteConcept getTc1()
public void setTc1(reasoner.ConcreteConcept tc1)
tc1
- the tc1 to setpublic reasoner.ConcreteConcept getTc2()
public void setTc2(reasoner.ConcreteConcept tc2)
tc2
- the tc2 to setpublic java.lang.String toString()
reasoner.Query
toString
in interface reasoner.Query
toString
in class java.lang.Object
public java.lang.String getMeaning()
reasoner.Query
getMeaning
in interface reasoner.Query
public reasoner.KnowledgeBase getKb()
public void setKb(reasoner.KnowledgeBase kb)
kb
- the kb to setpublic reasoner.Concept getC1()
public void setC1(reasoner.Concept c1)
c1
- the c1 to setpublic reasoner.Concept getC2()
public void setC2(reasoner.Concept c2)
c2
- the c2 to setpublic java.util.Map<java.lang.String,java.lang.Double> getLastvalues()
public void setLastvalues(java.util.Map<java.lang.String,java.lang.Double> lastvalues)
lastvalues
- the lastvalues to setpublic reasoner.Quantifier getQ()
public void setQ(reasoner.Quantifier q)
q
- the q to setpublic reasoner.Concept getD()
public void setD(reasoner.Concept d)
d
- the d to setpublic reasoner.Role getIs()
public void setIs(reasoner.Role r)
r
- the r to set
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |