Jadex 0.96

jadex.testcases.beliefs
Agent BeliefSetContains

jadex.testcases.beliefs.BeliefSetContains
  • jadex.planlib.Test

  • agent BeliefSetContains
    contains jadex.planlib.Test


    Agent arguments: timeout
    timeout long
    , testcenter
    testcenter AgentIdentifier

    Test contains of belief sets.

    Tests what happens if equal elements are added twice to a belief set. They should be contained only once.

    This testcase fails, because the current beliefset semantics is not really a set. This should be fixed in a future release.


    Belief Summary
    beliefset AgentIdentifier agentids
              
    beliefsetref reports
              
    beliefset String strings
              
    beliefref int testcase_cnt
              
    exported beliefref AgentIdentifier testcenter
              
    exported beliefref long timeout
              
     
    Plan Summary
    standard plan tester()
              
     
    Configuration Summary
    default configuration  default
              
     

    Belief Detail

    agentids

    beliefset AgentIdentifier agentids
    Default facts:
    SFipa.DF

    strings

    beliefset String strings
    Default facts:
    "abc"

    testcase_cnt

    beliefref int testcase_cnt
    Default fact:
    1
    Referenced from:
    testcase_cnt in capability jadex.planlib.Test

    timeout

    exported beliefref long timeout
    Default fact:
    0
    Referenced from:
    timeout in capability jadex.planlib.Test

    testcenter

    exported beliefref AgentIdentifier testcenter
    Referenced from:
    testcenter in capability jadex.planlib.Test

    reports

    beliefsetref  reports
    Referenced from:
    reports in capability jadex.planlib.Test
    Plan Detail

    tester

    standard plan tester()
    Plan body:
    Configuration Detail

    default

    default configuration default
    Initial Beliefs:
    testcase_cnt Initial value:  2
    Initial Plans:
    tester

    Jadex 0.96

    Submit a bug or feature
    For further API reference and developer documentation, see the Jadex User Guide and the Jadex Tutorial. That documentation contains more detailed, developer-targeted descriptions, with conceptual overviews, definitions of terms, and working code examples.

    Copyright (C) 2002-2007 Lars Braubach, Alexander Pokahr - University of Hamburg. Use is subject to license terms.