Class ABDI
- java.lang.Object
-
- jadex.bdiv3.testcases.semiautomatic.AABDI
-
- jadex.bdiv3.testcases.semiautomatic.ABDI
-
public class ABDI extends AABDI
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
ABDI.Cnt1Goal
class
ABDI.Cnt2Goal
-
Constructor Summary
Constructors Constructor Description ABDI()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description jadex.commons.future.IFuture<java.lang.Void>
body()
int
getNum2()
Get the num2.void
incNum2()
void
setNum2(int num2)
Set the num2.
-