JACK Teams 5.4 JACOB Application Interface

aos.team
Interface SynthInterface


public interface SynthInterface


Method Summary
 aos.jack.jak.plan.PlanFSM connection(boolean added, java.lang.String team)
           
 aos.jack.jak.fsm.FSM synthesis(java.lang.String team, boolean wasAssert, aos.jack.jak.cursor.BeliefState truthValue, aos.jack.jak.beliefset.Tuple newTuple, aos.jack.jak.beliefset.Tuple keyDiscard, aos.jack.jak.beliefset.Tuple negateDiscard)
           
 

Method Detail

connection

public aos.jack.jak.plan.PlanFSM connection(boolean added,
                                            java.lang.String team)

synthesis

public aos.jack.jak.fsm.FSM synthesis(java.lang.String team,
                                      boolean wasAssert,
                                      aos.jack.jak.cursor.BeliefState truthValue,
                                      aos.jack.jak.beliefset.Tuple newTuple,
                                      aos.jack.jak.beliefset.Tuple keyDiscard,
                                      aos.jack.jak.beliefset.Tuple negateDiscard)

JACK Teams 5.4 JACOB Application Interface

Copyright (C) 1999-2008, Agent Oriented Software Pty. Ltd.

US Government Restricted Rights
The JACK Modules and relevant Software Material have been developed entirely at private expense and are accordingly provided with RESTRICTED RIGHTS. Use, duplication, or disclosure by Government is subject to restrictions as set forth in subparagraph (c)(1)(ii) of DFARS 252.227-7013 or subparagraph (c)(1) and (2) of the Commercial Computer Software Restricted Rights and 48 CFR 52.2270-19, as applicable.


Agent Oriented Software Pty. Ltd.     http://www.aosgrp.com
PO Box 639, Carlton South, Victoria 3053, Australia
Phone: +61 3 9349 5055, Fax: +61 3 9349 5088