本文整理汇总了Java中jason.asSyntax.ListTermImpl.parseList方法的典型用法代码示例。如果您正苦于以下问题:Java ListTermImpl.parseList方法的具体用法?Java ListTermImpl.parseList怎么用?Java ListTermImpl.parseList使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类jason.asSyntax.ListTermImpl
的用法示例。
在下文中一共展示了ListTermImpl.parseList方法的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: perceive
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
@SuppressWarnings("unchecked")
@Override
public List<Literal> perceive() {
if (!isRunning()) return null;
if (getEnvironmentAg() == null) return null;
@SuppressWarnings("rawtypes")
List percepts = null;
try {
ACLMessage askMsg = new ACLMessage(ACLMessage.QUERY_REF);
askMsg.addReceiver(environmentAID);
askMsg.setOntology(JadeEnvironment.perceptionOntology);
askMsg.setContent("getPercepts");
ACLMessage r = jadeAg.ask(askMsg);
if (r != null && r.getContent().startsWith("[")) {
percepts = ListTermImpl.parseList(r.getContent());
}
} catch (Exception e) {
logger.log(Level.SEVERE, "Error in perceive.", e);
}
return percepts;
}
示例2: testGround
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testGround() {
ListTerm l = ListTermImpl.parseList("[c,b,a,x,y,d]");
assertTrue(l.isGround());
l = ListTermImpl.parseList("[c,b,a,X,y,d]");
assertFalse(l.isGround());
l = ListTermImpl.parseList("[C,b,a,x,y,d]");
assertFalse(l.isGround());
l = ListTermImpl.parseList("[c,b,a,x,y,D]");
assertFalse(l.isGround());
l = ListTermImpl.parseList("[c,b,a,x,y|T]");
assertFalse(l.isGround());
l = ListTermImpl.parseList("[c|T]");
assertFalse(l.isGround());
}
示例3: testReverse
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testReverse() {
ListTerm l = ListTermImpl.parseList("[]");
assertEquals(l, l.reverse());
assertFalse( l == l.reverse()); // should be cloned
assertEquals("[]",l.reverse().toString());
l = ListTermImpl.parseList("[a]");
assertEquals(l, l.reverse());
assertFalse( l == l.reverse()); // should be cloned
assertEquals("[a]",l.reverse().toString());
l = ListTermImpl.parseList("[a,b,c]");
assertEquals("[c,b,a]",l.reverse().toString());
l = ListTermImpl.parseList("[a,b,c|T]");
assertEquals("[c,b,a|T]",l.reverse().toString());
}
示例4: perceive
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
@SuppressWarnings("unchecked")
@Override
public List<Literal> perceive() {
super.perceive();
if (!isRunning()) return null;
if (getEnvironmentAg() == null) return null;
@SuppressWarnings("rawtypes")
List percepts = null;
try {
ACLMessage askMsg = new ACLMessage(ACLMessage.QUERY_REF);
askMsg.addReceiver(environmentAID);
askMsg.setOntology(JadeEnvironment.perceptionOntology);
askMsg.setContent("getPercepts");
ACLMessage r = jadeAg.ask(askMsg);
if (r != null && r.getContent().startsWith("[")) {
percepts = ListTermImpl.parseList(r.getContent());
}
} catch (Exception e) {
logger.log(Level.SEVERE, "Error in perceive.", e);
}
return percepts;
}
示例5: testGround
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testGround() {
ListTerm l = ListTermImpl.parseList("[c,b,a,x,y,d]");
assertTrue(l.isGround());
l = ListTermImpl.parseList("[c,b,a,X,y,d]");
assertFalse(l.isGround());
l = ListTermImpl.parseList("[C,b,a,x,y,d]");
assertFalse(l.isGround());
l = ListTermImpl.parseList("[c,b,a,x,y,D]");
assertFalse(l.isGround());
l = ListTermImpl.parseList("[c,b,a,x,y|T]");
assertFalse(l.isGround());
l = ListTermImpl.parseList("[c|T]");
assertFalse(l.isGround());
}
示例6: testReverse
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testReverse() {
ListTerm l = ListTermImpl.parseList("[]");
assertEquals(l, l.reverse());
assertFalse( l == l.reverse()); // should be cloned
assertEquals("[]",l.reverse().toString());
l = ListTermImpl.parseList("[a]");
assertEquals(l, l.reverse());
assertFalse( l == l.reverse()); // should be cloned
assertEquals("[a]",l.reverse().toString());
l = ListTermImpl.parseList("[a,b,c]");
assertEquals("[c,b,a]",l.reverse().toString());
l = ListTermImpl.parseList("[a,b,c|T]");
assertEquals("[c,b,a|T]",l.reverse().toString());
}
示例7: testLiteralBuilder
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testLiteralBuilder() throws JasonException {
Literal l = Literal.parseLiteral("~p(t1,t2)[a1,a2]");
assertEquals(l.getAsListOfTerms().size(), 4);
ListTerm lt1 = ListTermImpl.parseList("[~p,[t1,t2],[a1,a2]]");
assertTrue(l.equals(Literal.newFromListOfTerms(lt1)));
ListTerm lt2 = ListTermImpl.parseList("[p,[t1,t2],[a1,a2]]");
assertFalse(l.equals(Literal.newFromListOfTerms(lt2)));
ListTerm lt3 = ListTermImpl.parseList("[~p,[t1,t2],[a1,a2,a3]]");
assertFalse(l.equals(Literal.newFromListOfTerms(lt3)));
Unifier u = new Unifier();
assertFalse(u.unifies(lt1, lt2));
assertTrue( new RelExpr(l, RelExpr.RelationalOp.literalBuilder, lt1).logicalConsequence(null, u).hasNext());
assertFalse(new RelExpr(l, RelExpr.RelationalOp.literalBuilder, lt2).logicalConsequence(null, u).hasNext());
assertFalse(new RelExpr(l, RelExpr.RelationalOp.literalBuilder, lt3).logicalConsequence(null, u).hasNext());
VarTerm v = new VarTerm("X");
u.clear();
assertTrue(new RelExpr(v, RelExpr.RelationalOp.literalBuilder, lt1).logicalConsequence(null, u).hasNext());
assertEquals(u.get("X").toString(), l.toString());
assertEquals(u.get("X"), l);
assertEquals(l, u.get("X"));
u.clear();
assertTrue(new RelExpr(l, RelExpr.RelationalOp.literalBuilder, v).logicalConsequence(null, u).hasNext());
ListTerm lt4 = ListTermImpl.parseList("[default,~p,[t1,t2],[a1,a2]]");
System.out.println(u);
assertEquals(u.get("X").toString(), lt4.toString());
assertEquals(u.get("X"), lt4);
assertEquals(lt4, u.get("X"));
l = Literal.parseLiteral("p(t1,t2)");
assertEquals(l.getAsListOfTerms().size(), 4);
assertEquals(((ListTerm)l.getAsListOfTerms().get(2)).size(), 2);
assertEquals(((ListTerm)l.getAsListOfTerms().get(3)).size(), 0);
}
示例8: testUnify
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testUnify() {
assertTrue( new Unifier().unifies((Term)l1,(Term)ListTermImpl.parseList("[a,b,c]")));
assertTrue( new Unifier().unifies((Term)l1,(Term)ListTermImpl.parseList("[A,B,C]")));
assertFalse( new Unifier().unifies((Term)l1,(Term)ListTermImpl.parseList("[a,b]")));
assertFalse( new Unifier().unifies((Term)l1,(Term)ListTermImpl.parseList("[a,b,d]")));
Unifier u2 = new Unifier();
assertTrue(u2.unifies((Term)l1,new VarTerm("X")));
//System.out.println("u2="+u2);
Unifier u3 = new Unifier();
assertTrue( u3.unifies((Term)l1,(Term)l3));
assertEquals( ((ListTerm)u3.get("T")).toString(), "[b,c]");
//System.out.println("u3="+u3);
Unifier u4 = new Unifier();
assertTrue(u4.unifies((Term)l1,(Term)l4));
//System.out.println("u4="+u4);
Unifier u5 = new Unifier();
// [a,b,c] = [X|[b,c]]
ListTerm lt5 = ListTermImpl.parseList("[X|[b,c]]");
//System.out.println("lt5="+lt5);
assertTrue(u5.unifies(l1,lt5));
//System.out.println("u5="+u5);
}
示例9: testToArray
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testToArray() {
ListTerm l = ListTermImpl.parseList("[c,b,a,x,y,d]");
Term[] a = l.toArray(new Term[0]);
assertEquals(a.length,l.size());
assertEquals("c",a[0].toString());
assertEquals("d",a[a.length-1].toString());
}
示例10: testUnion
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testUnion() {
ListTerm l1 = ListTermImpl.parseList("[]");
ListTerm l2 = ListTermImpl.parseList("[a,b,c]");
ListTerm l3 = ListTermImpl.parseList("[a,b,d,e]");
ListTerm l4 = l1.union(l2);
assertEquals("[a,b,c]", l4.toString());
assertEquals(l2,l4);
ListTerm l = l4.union(l3);
assertEquals(5, l.size());
assertEquals(l2.union(l3), l3.union(l2));
}
示例11: testIntersectoin
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testIntersectoin() {
ListTerm l1 = ListTermImpl.parseList("[]");
ListTerm l2 = ListTermImpl.parseList("[c,a,b,c]");
ListTerm l3 = ListTermImpl.parseList("[b,a,d,e]");
ListTerm l4 = l1.intersection(l2);
assertEquals("[]", l4.toString());
assertEquals(l1,l4);
assertEquals(l1.intersection(l2),l2.intersection(l1));
ListTerm l = l2.intersection(l3);
assertEquals("[a,b]", l.toString());
}
示例12: testDifference
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testDifference() {
ListTerm l1 = ListTermImpl.parseList("[]");
ListTerm l2 = ListTermImpl.parseList("[c,a,b,c]");
ListTerm l3 = ListTermImpl.parseList("[b,a,d,e]");
assertEquals("[c]", l2.difference(l3).toString());
assertEquals("[d,e]", l3.difference(l2).toString());
assertEquals("[a,b,c]", l2.difference(l1).toString());
assertEquals("[a,b,d,e]", l3.difference(l1).toString());
assertEquals("[]", l1.difference(l2).toString());
}
示例13: testSubSet
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testSubSet() {
ListTerm l3 = ListTermImpl.parseList("[a,b,c,8]");
assertEquals("[[a], [b], [c], [8]]", iterator2list(l3.subSets(1)).toString());
assertEquals("[[a, b], [a, c], [a, 8], [b, c], [b, 8], [c, 8]]", iterator2list(l3.subSets(2)).toString());
assertEquals("[[a, b, c], [a, b, 8], [a, c, 8], [b, c, 8]]", iterator2list(l3.subSets(3)).toString());
assertEquals("[[a, b, c, 8]]", iterator2list(l3.subSets(4)).toString());
l3 = ListTermImpl.parseList("[a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16,a17,a18,a19,a20]");
//for (int i=0; i< 20;i++)
// System.out.println(iterator2list(l3.subSets(i+1)).size());
assertEquals("[[a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20]]",iterator2list(l3.subSets(20)).toString());
assertEquals(38760, iterator2list(l3.subSets(6)).size());
assertEquals(38760, iterator2list(l3.subSets(14)).size());
}
示例14: testLiteralBuilder
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testLiteralBuilder() throws JasonException {
Literal l = Literal.parseLiteral("~p(t1,t2)[a1,a2]");
assertEquals(l.getAsListOfTerms().size(), 4);
ListTerm lt1 = ListTermImpl.parseList("[~p,[t1,t2],[a1,a2]]");
assertTrue(l.equals(Literal.newFromListOfTerms(lt1)));
ListTerm lt2 = ListTermImpl.parseList("[p,[t1,t2],[a1,a2]]");
assertFalse(l.equals(Literal.newFromListOfTerms(lt2)));
ListTerm lt3 = ListTermImpl.parseList("[~p,[t1,t2],[a1,a2,a3]]");
assertFalse(l.equals(Literal.newFromListOfTerms(lt3)));
Unifier u = new Unifier();
assertFalse(u.unifies(lt1, lt2));
assertTrue( new RelExpr(l, RelExpr.RelationalOp.literalBuilder, lt1).logicalConsequence(null, u).hasNext());
assertFalse(new RelExpr(l, RelExpr.RelationalOp.literalBuilder, lt2).logicalConsequence(null, u).hasNext());
assertFalse(new RelExpr(l, RelExpr.RelationalOp.literalBuilder, lt3).logicalConsequence(null, u).hasNext());
VarTerm v = new VarTerm("X");
u.clear();
assertTrue(new RelExpr(v, RelExpr.RelationalOp.literalBuilder, lt1).logicalConsequence(null, u).hasNext());
assertEquals(u.get("X").toString(), l.toString());
assertEquals(u.get("X"), l);
assertEquals(l, u.get("X"));
u.clear();
assertTrue(new RelExpr(l, RelExpr.RelationalOp.literalBuilder, v).logicalConsequence(null, u).hasNext());
ListTerm lt4 = ListTermImpl.parseList("[default,~p,[t1,t2],[a1,a2]]");
System.out.println(u);
assertEquals(u.get("X").toString(), lt4.toString());
assertEquals(u.get("X"), lt4);
assertEquals(lt4, u.get("X"));
l = Literal.parseLiteral("p(t1,t2)");
assertEquals(l.getAsListOfTerms().size(), 4);
assertEquals(((ListTerm)l.getAsListOfTerms().get(2)).size(), 2);
assertEquals(((ListTerm)l.getAsListOfTerms().get(3)).size(), 0);
}
示例15: testUnify
import jason.asSyntax.ListTermImpl; //导入方法依赖的package包/类
public void testUnify() {
assertTrue( new Unifier().unifies((Term)l1,(Term)ListTermImpl.parseList("[a,b,c]")));
assertTrue( new Unifier().unifies((Term)l1,(Term)ListTermImpl.parseList("[A,B,C]")));
assertFalse( new Unifier().unifies((Term)l1,(Term)ListTermImpl.parseList("[a,b]")));
assertFalse( new Unifier().unifies((Term)l1,(Term)ListTermImpl.parseList("[a,b,d]")));
Unifier u2 = new Unifier();
assertTrue(u2.unifies((Term)l1,new VarTerm("X")));
//System.out.println("u2="+u2);
Unifier u3 = new Unifier();
assertTrue( u3.unifies((Term)l1,(Term)l3));
assertEquals( ((ListTerm)u3.get("T")).toString(), "[b,c]");
//System.out.println("u3="+u3);
Unifier u4 = new Unifier();
assertTrue(u4.unifies((Term)l1,(Term)l4));
//System.out.println("u4="+u4);
Unifier u5 = new Unifier();
// [a,b,c] = [X|[b,c]]
ListTerm lt5 = ListTermImpl.parseList("[X|[b,c]]");
//System.out.println("lt5="+lt5);
assertTrue(u5.unifies(l1,lt5));
//System.out.println("u5="+u5);
}