|
From: <jom...@us...> - 2008-09-12 15:04:25
|
Revision: 1367
http://jason.svn.sourceforge.net/jason/?rev=1367&view=rev
Author: jomifred
Date: 2008-09-12 15:04:23 +0000 (Fri, 12 Sep 2008)
Log Message:
-----------
fix the wrong cast in BinaryStructure
Modified Paths:
--------------
trunk/doc/jason.doxygen
trunk/src/jason/asSyntax/BinaryStructure.java
trunk/src/jason/asSyntax/LogExpr.java
Modified: trunk/doc/jason.doxygen
===================================================================
--- trunk/doc/jason.doxygen 2008-09-12 14:16:52 UTC (rev 1366)
+++ trunk/doc/jason.doxygen 2008-09-12 15:04:23 UTC (rev 1367)
@@ -25,7 +25,7 @@
# The PROJECT_NAME tag is a single word (or a sequence of words surrounded
# by quotes) that should identify the project.
-PROJECT_NAME = Jason
+PROJECT_NAME = Jason :: API
# The PROJECT_NUMBER tag can be used to enter a project or revision number.
# This could be handy for archiving the generated documentation or
Modified: trunk/src/jason/asSyntax/BinaryStructure.java
===================================================================
--- trunk/src/jason/asSyntax/BinaryStructure.java 2008-09-12 14:16:52 UTC (rev 1366)
+++ trunk/src/jason/asSyntax/BinaryStructure.java 2008-09-12 15:04:23 UTC (rev 1367)
@@ -51,14 +51,14 @@
return getArity() == 1;
}
- /** gets the LHS of this Expression */
- public LogicalFormula getLHS() {
- return (LogicalFormula)getTerm(0);
+ /** gets the LHS of this operation */
+ public Term getLHS() {
+ return getTerm(0);
}
- /** gets the RHS of this Expression */
- public LogicalFormula getRHS() {
- return (LogicalFormula)getTerm(1);
+ /** gets the RHS of this operation */
+ public Term getRHS() {
+ return getTerm(1);
}
@Override
Modified: trunk/src/jason/asSyntax/LogExpr.java
===================================================================
--- trunk/src/jason/asSyntax/LogExpr.java 2008-09-12 14:16:52 UTC (rev 1366)
+++ trunk/src/jason/asSyntax/LogExpr.java 2008-09-12 15:04:23 UTC (rev 1367)
@@ -67,7 +67,17 @@
super(oper.toString(),(Term)f);
op = oper;
}
-
+
+ /** gets the LHS of this Expression */
+ public LogicalFormula getLHS() {
+ return (LogicalFormula)getTerm(0);
+ }
+
+ /** gets the RHS of this Expression */
+ public LogicalFormula getRHS() {
+ return (LogicalFormula)getTerm(1);
+ }
+
public Iterator<Unifier> logicalConsequence(final Agent ag, final Unifier un) {
try {
switch (op) {
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|