uk.ac.ox.cs.fdr
public class fdrJNI extends java.lang.Object
Constructor and Description |
---|
fdrJNI() |
Modifier and Type | Method and Description |
---|---|
static void |
AcceptanceList_clear(long jarg1,
AcceptanceList jarg1_) |
static boolean |
AcceptanceList_empty(long jarg1,
AcceptanceList jarg1_) |
static long |
AcceptanceList_getitem(long jarg1,
AcceptanceList jarg1_,
int jarg2) |
static void |
AcceptanceList_pushBack(long jarg1,
AcceptanceList jarg1_,
long jarg2,
CompiledEventList jarg2_) |
static void |
AcceptanceList_removeRange(long jarg1,
AcceptanceList jarg1_,
int jarg2,
int jarg3) |
static void |
AcceptanceList_setitem(long jarg1,
AcceptanceList jarg1_,
int jarg2,
long jarg3,
CompiledEventList jarg3_) |
static int |
AcceptanceList_size(long jarg1,
AcceptanceList jarg1_) |
static void |
activateEmbeddedLicense(java.lang.String jarg1,
java.lang.String jarg2) |
static long |
Assertion_counterexamples(long jarg1,
Assertion jarg1_) |
static void |
Assertion_execute(long jarg1,
Assertion jarg1_,
long jarg2,
Canceller jarg2_) |
static boolean |
Assertion_passed(long jarg1,
Assertion jarg1_) |
static java.lang.Object |
Assertion_progress(long jarg1,
Assertion jarg1_) |
static long |
Assertion_rootTaskId(long jarg1,
Assertion jarg1_) |
static java.lang.String |
Assertion_toString(long jarg1,
Assertion jarg1_) |
static java.lang.Object |
AssertionEvaluatorResult_result(long jarg1,
AssertionEvaluatorResult jarg1_) |
static long |
AssertionEvaluatorResult_warnings(long jarg1,
AssertionEvaluatorResult jarg1_) |
static void |
AssertionList_clear(long jarg1,
AssertionList jarg1_) |
static boolean |
AssertionList_empty(long jarg1,
AssertionList jarg1_) |
static java.lang.Object |
AssertionList_getitem(long jarg1,
AssertionList jarg1_,
int jarg2) |
static void |
AssertionList_pushBack(long jarg1,
AssertionList jarg1_,
java.lang.Object jarg2) |
static void |
AssertionList_removeRange(long jarg1,
AssertionList jarg1_,
int jarg2,
int jarg3) |
static void |
AssertionList_setitem(long jarg1,
AssertionList jarg1_,
int jarg2,
java.lang.Object jarg3) |
static int |
AssertionList_size(long jarg1,
AssertionList jarg1_) |
static long |
Behaviour_machine(long jarg1,
Behaviour jarg1_) |
static long |
Behaviour_nodePath(long jarg1,
Behaviour jarg1_) |
static long |
Behaviour_trace(long jarg1,
Behaviour jarg1_) |
static void |
BehaviourList_clear(long jarg1,
BehaviourList jarg1_) |
static boolean |
BehaviourList_empty(long jarg1,
BehaviourList jarg1_) |
static java.lang.Object |
BehaviourList_getitem(long jarg1,
BehaviourList jarg1_,
int jarg2) |
static void |
BehaviourList_pushBack(long jarg1,
BehaviourList jarg1_,
java.lang.Object jarg2) |
static void |
BehaviourList_removeRange(long jarg1,
BehaviourList jarg1_,
int jarg2,
int jarg3) |
static void |
BehaviourList_setitem(long jarg1,
BehaviourList jarg1_,
int jarg2,
java.lang.Object jarg3) |
static int |
BehaviourList_size(long jarg1,
BehaviourList jarg1_) |
static long |
BFSRefinementProgress_plys(long jarg1,
BFSRefinementProgress jarg1_) |
static long |
BFSRefinementProgress_statePairsCount(long jarg1,
BFSRefinementProgress jarg1_) |
static long |
BFSRefinementProgress_SWIGSmartPtrUpcast(long jarg1) |
static long |
BFSRefinementProgress_transitionCount(long jarg1,
BFSRefinementProgress jarg1_) |
static long |
CancelledError_SWIGUpcast(long jarg1) |
static void |
Canceller_cancel(long jarg1,
Canceller jarg1_) |
static boolean |
Canceller_cancelled(long jarg1,
Canceller jarg1_) |
static void |
CompiledEventList_clear(long jarg1,
CompiledEventList jarg1_) |
static boolean |
CompiledEventList_empty(long jarg1,
CompiledEventList jarg1_) |
static long |
CompiledEventList_getitem(long jarg1,
CompiledEventList jarg1_,
int jarg2) |
static void |
CompiledEventList_pushBack(long jarg1,
CompiledEventList jarg1_,
long jarg2) |
static void |
CompiledEventList_removeRange(long jarg1,
CompiledEventList jarg1_,
int jarg2,
int jarg3) |
static void |
CompiledEventList_setitem(long jarg1,
CompiledEventList jarg1_,
int jarg2,
long jarg3) |
static int |
CompiledEventList_size(long jarg1,
CompiledEventList jarg1_) |
static void |
CounterexampleList_clear(long jarg1,
CounterexampleList jarg1_) |
static boolean |
CounterexampleList_empty(long jarg1,
CounterexampleList jarg1_) |
static java.lang.Object |
CounterexampleList_getitem(long jarg1,
CounterexampleList jarg1_,
int jarg2) |
static void |
CounterexampleList_pushBack(long jarg1,
CounterexampleList jarg1_,
java.lang.Object jarg2) |
static void |
CounterexampleList_removeRange(long jarg1,
CounterexampleList jarg1_,
int jarg2,
int jarg3) |
static void |
CounterexampleList_setitem(long jarg1,
CounterexampleList jarg1_,
int jarg2,
java.lang.Object jarg3) |
static int |
CounterexampleList_size(long jarg1,
CounterexampleList jarg1_) |
static long |
DeadlockCounterexample_SWIGSmartPtrUpcast(long jarg1) |
static long |
DeadlockFreeAssertion_SWIGSmartPtrUpcast(long jarg1) |
static long |
DebugContext_behaviourChildren(long jarg1,
DebugContext jarg1_,
long jarg2,
Behaviour jarg2_) |
static long |
DebugContext_fullAlphabet(long jarg1,
DebugContext jarg1_) |
static void |
DebugContext_initialise(long jarg1,
DebugContext jarg1_,
long jarg2,
Canceller jarg2_) |
static long |
DebugContext_revealTau(long jarg1,
DebugContext jarg1_,
long jarg2,
Behaviour jarg2_,
long jarg3) |
static long |
DebugContext_revealTausInTrace(long jarg1,
DebugContext jarg1_,
long jarg2,
Behaviour jarg2_) |
static long |
DebugContext_rootBehaviours(long jarg1,
DebugContext jarg1_) |
static long |
DebugContext_rootTaskId(long jarg1,
DebugContext jarg1_) |
static void |
delete_AcceptanceList(long jarg1) |
static void |
delete_Assertion(long jarg1) |
static void |
delete_AssertionEvaluatorResult(long jarg1) |
static void |
delete_AssertionList(long jarg1) |
static void |
delete_Behaviour(long jarg1) |
static void |
delete_BehaviourList(long jarg1) |
static void |
delete_BFSRefinementProgress(long jarg1) |
static void |
delete_CancelledError(long jarg1) |
static void |
delete_Canceller(long jarg1) |
static void |
delete_CompiledEventList(long jarg1) |
static void |
delete_Counterexample(long jarg1) |
static void |
delete_CounterexampleList(long jarg1) |
static void |
delete_DeadlockCounterexample(long jarg1) |
static void |
delete_DeadlockFreeAssertion(long jarg1) |
static void |
delete_DebugContext(long jarg1) |
static void |
delete_DeterminismCounterexample(long jarg1) |
static void |
delete_DeterministicAssertion(long jarg1) |
static void |
delete_DisallowedOptionValueError(long jarg1) |
static void |
delete_DivergenceCounterexample(long jarg1) |
static void |
delete_DivergenceFreeAssertion(long jarg1) |
static void |
delete_Error(long jarg1) |
static void |
delete_Event(long jarg1) |
static void |
delete_EventList(long jarg1) |
static void |
delete_ExplicitDivergenceBehaviour(long jarg1) |
static void |
delete_FileLoadError(long jarg1) |
static void |
delete_FileProgressReporter(long jarg1) |
static void |
delete_HasTraceAssertion(long jarg1) |
static void |
delete_InputFileError(long jarg1) |
static void |
delete_IrrelevantBehaviour(long jarg1) |
static void |
delete_LoopBehaviour(long jarg1) |
static void |
delete_Machine(long jarg1) |
static void |
delete_MachineEvaluatorResult(long jarg1) |
static void |
delete_MinAcceptanceBehaviour(long jarg1) |
static void |
delete_MinAcceptanceCounterexample(long jarg1) |
static void |
delete_NegatedAssertion(long jarg1) |
static void |
delete_Node(long jarg1) |
static void |
delete_NodePath(long jarg1) |
static void |
delete_Option(long jarg1) |
static void |
delete_OptionList(long jarg1) |
static void |
delete_PrintStatement(long jarg1) |
static void |
delete_PrintStatementList(long jarg1) |
static void |
delete_ProcessName(long jarg1) |
static void |
delete_Progress(long jarg1) |
static void |
delete_ProgressReporter(long jarg1) |
static void |
delete_PropertyAssertion(long jarg1) |
static void |
delete_PropertyCounterexample(long jarg1) |
static void |
delete_RefinementAssertion(long jarg1) |
static void |
delete_RefinementCounterexample(long jarg1) |
static void |
delete_RefinementDivergenceCounterexample(long jarg1) |
static void |
delete_SegmentedBehaviour(long jarg1) |
static void |
delete_Session(long jarg1) |
static void |
delete_StreamProgressReporter(long jarg1) |
static void |
delete_StringEvaluatorResult(long jarg1) |
static void |
delete_StringList(long jarg1) |
static void |
delete_StringStringMap(long jarg1) |
static void |
delete_TraceBehaviour(long jarg1) |
static void |
delete_TraceBehaviourList(long jarg1) |
static void |
delete_TraceCounterexample(long jarg1) |
static void |
delete_Transition(long jarg1) |
static void |
delete_TransitionList(long jarg1) |
static void |
delete_UnknownOptionError(long jarg1) |
static long |
DeterminismCounterexample_SWIGSmartPtrUpcast(long jarg1) |
static long |
DeterministicAssertion_SWIGSmartPtrUpcast(long jarg1) |
static long |
DisallowedOptionValueError_SWIGUpcast(long jarg1) |
static long |
DivergenceCounterexample_SWIGSmartPtrUpcast(long jarg1) |
static long |
DivergenceFreeAssertion_SWIGSmartPtrUpcast(long jarg1) |
static java.lang.String |
Error_toString(long jarg1,
Error jarg1_) |
static boolean |
Event_equals(long jarg1,
Event jarg1_,
long jarg2,
Event jarg2_) |
static int |
Event_hashCode(long jarg1,
Event jarg1_) |
static java.lang.String |
Event_toString(long jarg1,
Event jarg1_) |
static void |
EventList_clear(long jarg1,
EventList jarg1_) |
static boolean |
EventList_empty(long jarg1,
EventList jarg1_) |
static long |
EventList_getitem(long jarg1,
EventList jarg1_,
int jarg2) |
static void |
EventList_pushBack(long jarg1,
EventList jarg1_,
long jarg2,
Event jarg2_) |
static void |
EventList_removeRange(long jarg1,
EventList jarg1_,
int jarg2,
int jarg3) |
static void |
EventList_setitem(long jarg1,
EventList jarg1_,
int jarg2,
long jarg3,
Event jarg3_) |
static int |
EventList_size(long jarg1,
EventList jarg1_) |
static long |
ExplicitDivergenceBehaviour_SWIGSmartPtrUpcast(long jarg1) |
static java.lang.String |
FileLoadError_fileName(long jarg1,
FileLoadError jarg1_) |
static long |
FileLoadError_SWIGUpcast(long jarg1) |
static void |
FileProgressReporter_activate(long jarg1,
FileProgressReporter jarg1_) |
static void |
FileProgressReporter_deactivate(long jarg1,
FileProgressReporter jarg1_) |
static long |
FileProgressReporter_SWIGUpcast(long jarg1) |
static void |
FileProgressReporter_taskFinished(long jarg1,
FileProgressReporter jarg1_,
long jarg2) |
static void |
FileProgressReporter_taskMessageOutput(long jarg1,
FileProgressReporter jarg1_,
long jarg2,
java.lang.String jarg3) |
static void |
FileProgressReporter_taskStarted(long jarg1,
FileProgressReporter jarg1_,
long jarg2,
long jarg3,
java.lang.String jarg4) |
static void |
FileProgressReporter_taskStatusUpdated(long jarg1,
FileProgressReporter jarg1_,
long jarg2,
java.lang.String jarg3) |
static long |
HasTraceAssertion_SWIGSmartPtrUpcast(long jarg1) |
static boolean |
hasValidLicense() |
static long |
InputFileError_SWIGUpcast(long jarg1) |
static int |
INVALIDEVENT_get() |
static long |
IrrelevantBehaviour_SWIGSmartPtrUpcast(long jarg1) |
static void |
libraryExit() |
static void |
libraryInit() |
static long |
LoopBehaviour_loopIndex(long jarg1,
LoopBehaviour jarg1_) |
static long |
LoopBehaviour_SWIGSmartPtrUpcast(long jarg1) |
static long |
Machine_afters(long jarg1,
Machine jarg1_,
long jarg2,
Node jarg2_,
long jarg3) |
static long |
Machine_alphabet(long jarg1,
Machine jarg1_,
boolean jarg2) |
static boolean |
Machine_hasDivergenceLabellings(long jarg1,
Machine jarg1_) |
static boolean |
Machine_hasMinimalAcceptanceLabellings(long jarg1,
Machine jarg1_) |
static long |
Machine_initials(long jarg1,
Machine jarg1_,
long jarg2,
Node jarg2_) |
static boolean |
Machine_isDivergent(long jarg1,
Machine jarg1_,
long jarg2,
Node jarg2_,
long jarg3,
Canceller jarg3_) |
static boolean |
Machine_isExplicitlyDivergent(long jarg1,
Machine jarg1_,
long jarg2,
Node jarg2_) |
static long |
Machine_minimalAcceptances(long jarg1,
Machine jarg1_,
long jarg2,
Node jarg2_) |
static long |
Machine_rootNode(long jarg1,
Machine jarg1_) |
static long |
Machine_transitions(long jarg1,
Machine jarg1_,
long jarg2,
Node jarg2_) |
static long |
MachineEvaluatorResult_result(long jarg1,
MachineEvaluatorResult jarg1_) |
static long |
MachineEvaluatorResult_warnings(long jarg1,
MachineEvaluatorResult jarg1_) |
static long |
MinAcceptanceBehaviour_minAcceptance(long jarg1,
MinAcceptanceBehaviour jarg1_) |
static long |
MinAcceptanceBehaviour_SWIGSmartPtrUpcast(long jarg1) |
static long |
MinAcceptanceCounterexample_minAcceptance(long jarg1,
MinAcceptanceCounterexample jarg1_) |
static long |
MinAcceptanceCounterexample_SWIGSmartPtrUpcast(long jarg1) |
static long |
NegatedAssertion_innerAssertion(long jarg1,
NegatedAssertion jarg1_) |
static long |
NegatedAssertion_SWIGSmartPtrUpcast(long jarg1) |
static long |
new_AcceptanceList__SWIG_0() |
static long |
new_AcceptanceList__SWIG_1(long jarg1) |
static long |
new_AcceptanceList__SWIG_2(long jarg1,
AcceptanceList jarg1_) |
static long |
new_AssertionEvaluatorResult__SWIG_0(long jarg1,
StringList jarg1_,
java.lang.Object jarg2) |
static long |
new_AssertionEvaluatorResult__SWIG_1(long jarg1,
AssertionEvaluatorResult jarg1_) |
static long |
new_AssertionList__SWIG_0() |
static long |
new_AssertionList__SWIG_1(long jarg1) |
static long |
new_AssertionList__SWIG_2(long jarg1,
AssertionList jarg1_) |
static long |
new_BehaviourList__SWIG_0() |
static long |
new_BehaviourList__SWIG_1(long jarg1) |
static long |
new_BehaviourList__SWIG_2(long jarg1,
BehaviourList jarg1_) |
static long |
new_CancelledError() |
static long |
new_Canceller() |
static long |
new_CompiledEventList__SWIG_0() |
static long |
new_CompiledEventList__SWIG_1(long jarg1) |
static long |
new_CompiledEventList__SWIG_2(long jarg1,
CompiledEventList jarg1_) |
static long |
new_CounterexampleList__SWIG_0() |
static long |
new_CounterexampleList__SWIG_1(long jarg1) |
static long |
new_CounterexampleList__SWIG_2(long jarg1,
CounterexampleList jarg1_) |
static long |
new_DeadlockCounterexample(java.lang.Object jarg1) |
static long |
new_DeadlockFreeAssertion(long jarg1,
Session jarg1_,
long jarg2,
Machine jarg2_,
int jarg3) |
static long |
new_DebugContext__SWIG_0(long jarg1,
RefinementCounterexample jarg1_,
boolean jarg2) |
static long |
new_DebugContext__SWIG_1(long jarg1,
PropertyCounterexample jarg1_,
boolean jarg2) |
static long |
new_DeterminismCounterexample(java.lang.Object jarg1,
java.lang.Object jarg2) |
static long |
new_DeterministicAssertion(long jarg1,
Session jarg1_,
long jarg2,
Machine jarg2_,
int jarg3) |
static long |
new_DisallowedOptionValueError(java.lang.String jarg1,
java.lang.String jarg2) |
static long |
new_DivergenceCounterexample(java.lang.Object jarg1) |
static long |
new_DivergenceFreeAssertion(long jarg1,
Session jarg1_,
long jarg2,
Machine jarg2_,
int jarg3) |
static long |
new_Error(java.lang.String jarg1) |
static long |
new_EventList__SWIG_0() |
static long |
new_EventList__SWIG_1(long jarg1) |
static long |
new_EventList__SWIG_2(long jarg1,
EventList jarg1_) |
static long |
new_ExplicitDivergenceBehaviour(long jarg1,
Machine jarg1_,
long jarg2,
NodePath jarg2_,
long jarg3,
CompiledEventList jarg3_) |
static long |
new_FileLoadError(java.lang.String jarg1,
java.lang.String jarg2) |
static long |
new_FileProgressReporter(java.lang.String jarg1) |
static long |
new_HasTraceAssertion(long jarg1,
Session jarg1_,
long jarg2,
Machine jarg2_,
int jarg3,
long jarg4,
CompiledEventList jarg4_) |
static long |
new_InputFileError(java.lang.String jarg1) |
static long |
new_IrrelevantBehaviour(long jarg1,
Machine jarg1_,
long jarg2,
NodePath jarg2_,
long jarg3,
CompiledEventList jarg3_) |
static long |
new_LoopBehaviour(long jarg1,
Machine jarg1_,
long jarg2,
NodePath jarg2_,
long jarg3,
CompiledEventList jarg3_,
long jarg4) |
static long |
new_MachineEvaluatorResult__SWIG_0(long jarg1,
StringList jarg1_,
long jarg2,
Machine jarg2_) |
static long |
new_MachineEvaluatorResult__SWIG_1(long jarg1,
MachineEvaluatorResult jarg1_) |
static long |
new_MinAcceptanceBehaviour(long jarg1,
Machine jarg1_,
long jarg2,
NodePath jarg2_,
long jarg3,
CompiledEventList jarg3_,
long jarg4,
CompiledEventList jarg4_) |
static long |
new_MinAcceptanceCounterexample(java.lang.Object jarg1,
java.lang.Object jarg2) |
static long |
new_NodePath__SWIG_0() |
static long |
new_NodePath__SWIG_1(long jarg1) |
static long |
new_NodePath__SWIG_2(long jarg1,
NodePath jarg1_) |
static long |
new_OptionList__SWIG_0() |
static long |
new_OptionList__SWIG_1(long jarg1) |
static long |
new_OptionList__SWIG_2(long jarg1,
OptionList jarg1_) |
static long |
new_PrintStatement__SWIG_0() |
static long |
new_PrintStatement__SWIG_1(java.lang.String jarg1,
java.lang.String jarg2) |
static long |
new_PrintStatement__SWIG_2(long jarg1,
PrintStatement jarg1_) |
static long |
new_PrintStatementList__SWIG_0() |
static long |
new_PrintStatementList__SWIG_1(long jarg1) |
static long |
new_PrintStatementList__SWIG_2(long jarg1,
PrintStatementList jarg1_) |
static long |
new_ProgressReporter() |
static long |
new_RefinementAssertion(long jarg1,
Session jarg1_,
long jarg2,
Machine jarg2_,
int jarg3,
long jarg4,
Machine jarg4_) |
static long |
new_RefinementDivergenceCounterexample(java.lang.Object jarg1,
java.lang.Object jarg2) |
static long |
new_SegmentedBehaviour(long jarg1,
Machine jarg1_,
long jarg2,
NodePath jarg2_,
long jarg3,
CompiledEventList jarg3_,
java.lang.Object jarg4,
long jarg5,
TraceBehaviourList jarg5_) |
static long |
new_Session() |
static long |
new_StreamProgressReporter(int jarg1) |
static long |
new_StringEvaluatorResult__SWIG_0(long jarg1,
StringList jarg1_,
java.lang.String jarg2) |
static long |
new_StringEvaluatorResult__SWIG_1(long jarg1,
StringEvaluatorResult jarg1_) |
static long |
new_StringList__SWIG_0() |
static long |
new_StringList__SWIG_1(long jarg1) |
static long |
new_StringList__SWIG_2(long jarg1,
StringList jarg1_) |
static long |
new_StringStringMap__SWIG_0() |
static long |
new_StringStringMap__SWIG_1(long jarg1,
StringStringMap jarg1_) |
static long |
new_TraceBehaviour(long jarg1,
Machine jarg1_,
long jarg2,
NodePath jarg2_,
long jarg3,
CompiledEventList jarg3_,
long jarg4) |
static long |
new_TraceBehaviourList__SWIG_0() |
static long |
new_TraceBehaviourList__SWIG_1(long jarg1) |
static long |
new_TraceBehaviourList__SWIG_2(long jarg1,
TraceBehaviourList jarg1_) |
static long |
new_TraceCounterexample(java.lang.Object jarg1,
java.lang.Object jarg2) |
static long |
new_Transition__SWIG_0() |
static long |
new_Transition__SWIG_1(long jarg1,
long jarg2,
Node jarg2_) |
static long |
new_TransitionList__SWIG_0() |
static long |
new_TransitionList__SWIG_1(long jarg1) |
static long |
new_TransitionList__SWIG_2(long jarg1,
TransitionList jarg1_) |
static long |
new_UnknownOptionError(java.lang.String jarg1) |
static boolean |
Node_equals(long jarg1,
Node jarg1_,
long jarg2,
Node jarg2_) |
static int |
Node_hashCode(long jarg1,
Node jarg1_) |
static void |
NodePath_clear(long jarg1,
NodePath jarg1_) |
static boolean |
NodePath_empty(long jarg1,
NodePath jarg1_) |
static long |
NodePath_getitem(long jarg1,
NodePath jarg1_,
int jarg2) |
static void |
NodePath_pushBack(long jarg1,
NodePath jarg1_,
long jarg2,
Node jarg2_) |
static void |
NodePath_removeRange(long jarg1,
NodePath jarg1_,
int jarg2,
int jarg3) |
static void |
NodePath_setitem(long jarg1,
NodePath jarg1_,
int jarg2,
long jarg3,
Node jarg3_) |
static int |
NodePath_size(long jarg1,
NodePath jarg1_) |
static long |
Option_allowedValues(long jarg1,
Option jarg1_) |
static java.lang.String |
Option_defaultValue(long jarg1,
Option jarg1_) |
static java.lang.String |
Option_description(long jarg1,
Option jarg1_) |
static java.lang.String |
Option_get(long jarg1,
Option jarg1_) |
static long |
Option_getOption(java.lang.String jarg1) |
static java.lang.String |
Option_name(long jarg1,
Option jarg1_) |
static long |
Option_options() |
static void |
Option_set(long jarg1,
Option jarg1_,
java.lang.String jarg2) |
static java.lang.String |
Option_toString(long jarg1,
Option jarg1_) |
static void |
OptionList_clear(long jarg1,
OptionList jarg1_) |
static boolean |
OptionList_empty(long jarg1,
OptionList jarg1_) |
static long |
OptionList_getitem(long jarg1,
OptionList jarg1_,
int jarg2) |
static void |
OptionList_pushBack(long jarg1,
OptionList jarg1_,
long jarg2,
Option jarg2_) |
static void |
OptionList_removeRange(long jarg1,
OptionList jarg1_,
int jarg2,
int jarg3) |
static void |
OptionList_setitem(long jarg1,
OptionList jarg1_,
int jarg2,
long jarg3,
Option jarg3_) |
static int |
OptionList_size(long jarg1,
OptionList jarg1_) |
static java.lang.String |
PrintStatement_expression(long jarg1,
PrintStatement jarg1_) |
static java.lang.String |
PrintStatement_sourceLocation(long jarg1,
PrintStatement jarg1_) |
static void |
PrintStatementList_clear(long jarg1,
PrintStatementList jarg1_) |
static boolean |
PrintStatementList_empty(long jarg1,
PrintStatementList jarg1_) |
static long |
PrintStatementList_getitem(long jarg1,
PrintStatementList jarg1_,
int jarg2) |
static void |
PrintStatementList_pushBack(long jarg1,
PrintStatementList jarg1_,
long jarg2,
PrintStatement jarg2_) |
static void |
PrintStatementList_removeRange(long jarg1,
PrintStatementList jarg1_,
int jarg2,
int jarg3) |
static void |
PrintStatementList_setitem(long jarg1,
PrintStatementList jarg1_,
int jarg2,
long jarg3,
PrintStatement jarg3_) |
static int |
PrintStatementList_size(long jarg1,
PrintStatementList jarg1_) |
static boolean |
ProcessName_equals(long jarg1,
ProcessName jarg1_,
long jarg2,
ProcessName jarg2_) |
static int |
ProcessName_hashCode(long jarg1,
ProcessName jarg1_) |
static java.lang.String |
ProcessName_toString(long jarg1,
ProcessName jarg1_) |
static void |
ProgressReporter_activate(long jarg1,
ProgressReporter jarg1_) |
static void |
ProgressReporter_activateSwigExplicitProgressReporter(long jarg1,
ProgressReporter jarg1_) |
static void |
ProgressReporter_change_ownership(ProgressReporter obj,
long cptr,
boolean take_or_release) |
static void |
ProgressReporter_deactivate(long jarg1,
ProgressReporter jarg1_) |
static void |
ProgressReporter_deactivateSwigExplicitProgressReporter(long jarg1,
ProgressReporter jarg1_) |
static void |
ProgressReporter_director_connect(ProgressReporter obj,
long cptr,
boolean mem_own,
boolean weak_global) |
static int |
ProgressReporter_INVALIDTASK_get() |
static void |
ProgressReporter_taskFinished(long jarg1,
ProgressReporter jarg1_,
long jarg2) |
static void |
ProgressReporter_taskFinishedSwigExplicitProgressReporter(long jarg1,
ProgressReporter jarg1_,
long jarg2) |
static void |
ProgressReporter_taskMessageOutput(long jarg1,
ProgressReporter jarg1_,
long jarg2,
java.lang.String jarg3) |
static void |
ProgressReporter_taskMessageOutputSwigExplicitProgressReporter(long jarg1,
ProgressReporter jarg1_,
long jarg2,
java.lang.String jarg3) |
static void |
ProgressReporter_taskStarted(long jarg1,
ProgressReporter jarg1_,
long jarg2,
long jarg3,
java.lang.String jarg4) |
static void |
ProgressReporter_taskStartedSwigExplicitProgressReporter(long jarg1,
ProgressReporter jarg1_,
long jarg2,
long jarg3,
java.lang.String jarg4) |
static void |
ProgressReporter_taskStatusUpdated(long jarg1,
ProgressReporter jarg1_,
long jarg2,
java.lang.String jarg3) |
static void |
ProgressReporter_taskStatusUpdatedSwigExplicitProgressReporter(long jarg1,
ProgressReporter jarg1_,
long jarg2,
java.lang.String jarg3) |
static long |
PropertyAssertion_machine(long jarg1,
PropertyAssertion jarg1_) |
static int |
PropertyAssertion_semanticModel(long jarg1,
PropertyAssertion jarg1_) |
static long |
PropertyAssertion_SWIGSmartPtrUpcast(long jarg1) |
static java.lang.Object |
PropertyCounterexample_behaviour(long jarg1,
PropertyCounterexample jarg1_) |
static long |
PropertyCounterexample_SWIGSmartPtrUpcast(long jarg1) |
static long |
RefinementAssertion_implementation(long jarg1,
RefinementAssertion jarg1_) |
static int |
RefinementAssertion_model(long jarg1,
RefinementAssertion jarg1_) |
static long |
RefinementAssertion_specification(long jarg1,
RefinementAssertion jarg1_) |
static long |
RefinementAssertion_SWIGSmartPtrUpcast(long jarg1) |
static java.lang.Object |
RefinementCounterexample_implementationBehaviour(long jarg1,
RefinementCounterexample jarg1_) |
static java.lang.Object |
RefinementCounterexample_specificationBehaviour(long jarg1,
RefinementCounterexample jarg1_) |
static long |
RefinementCounterexample_SWIGSmartPtrUpcast(long jarg1) |
static long |
RefinementDivergenceCounterexample_SWIGSmartPtrUpcast(long jarg1) |
static long |
SegmentedBehaviour_last(long jarg1,
SegmentedBehaviour jarg1_) |
static long |
SegmentedBehaviour_priorSections(long jarg1,
SegmentedBehaviour jarg1_) |
static long |
SegmentedBehaviour_SWIGSmartPtrUpcast(long jarg1) |
static int |
SemanticModel_Default_get() |
static int |
SemanticModel_Failures_get() |
static int |
SemanticModel_FailuresDivergences_get() |
static int |
SemanticModel_Refusals_get() |
static int |
SemanticModel_RefusalsDivergences_get() |
static int |
SemanticModel_Revivals_get() |
static int |
SemanticModel_RevivalsDivergences_get() |
static int |
SemanticModel_Traces_get() |
static long |
Session_assertions(long jarg1,
Session jarg1_) |
static long |
Session_compileEvent(long jarg1,
Session jarg1_,
long jarg2,
Event jarg2_) |
static long |
Session_evaluateExpression(long jarg1,
Session jarg1_,
java.lang.String jarg2,
long jarg3,
Canceller jarg3_) |
static long |
Session_evaluateProcess(long jarg1,
Session jarg1_,
java.lang.String jarg2,
int jarg3,
long jarg4,
Canceller jarg4_) |
static long |
Session_loadFile(long jarg1,
Session jarg1_,
java.lang.String jarg2) |
static long |
Session_loadStringsAsFile(long jarg1,
Session jarg1_,
java.lang.String jarg2,
long jarg3,
StringStringMap jarg3_) |
static long |
Session_machineName(long jarg1,
Session jarg1_,
long jarg2,
Machine jarg2_) |
static long |
Session_machineNodeName(long jarg1,
Session jarg1_,
long jarg2,
Machine jarg2_,
long jarg3,
Node jarg3_) |
static long |
Session_parseAssertion(long jarg1,
Session jarg1_,
java.lang.String jarg2) |
static long |
Session_printStatements(long jarg1,
Session jarg1_) |
static long |
Session_uncompileEvent(long jarg1,
Session jarg1_,
long jarg2) |
static long |
Session_uncompileEvents(long jarg1,
Session jarg1_,
long jarg2,
CompiledEventList jarg2_) |
static void |
StreamProgressReporter_activate(long jarg1,
StreamProgressReporter jarg1_) |
static void |
StreamProgressReporter_deactivate(long jarg1,
StreamProgressReporter jarg1_) |
static long |
StreamProgressReporter_SWIGUpcast(long jarg1) |
static void |
StreamProgressReporter_taskFinished(long jarg1,
StreamProgressReporter jarg1_,
long jarg2) |
static void |
StreamProgressReporter_taskMessageOutput(long jarg1,
StreamProgressReporter jarg1_,
long jarg2,
java.lang.String jarg3) |
static void |
StreamProgressReporter_taskStarted(long jarg1,
StreamProgressReporter jarg1_,
long jarg2,
long jarg3,
java.lang.String jarg4) |
static void |
StreamProgressReporter_taskStatusUpdated(long jarg1,
StreamProgressReporter jarg1_,
long jarg2,
java.lang.String jarg3) |
static java.lang.String |
StringEvaluatorResult_result(long jarg1,
StringEvaluatorResult jarg1_) |
static long |
StringEvaluatorResult_warnings(long jarg1,
StringEvaluatorResult jarg1_) |
static void |
StringList_clear(long jarg1,
StringList jarg1_) |
static boolean |
StringList_empty(long jarg1,
StringList jarg1_) |
static java.lang.String |
StringList_getitem(long jarg1,
StringList jarg1_,
int jarg2) |
static void |
StringList_pushBack(long jarg1,
StringList jarg1_,
java.lang.String jarg2) |
static void |
StringList_removeRange(long jarg1,
StringList jarg1_,
int jarg2,
int jarg3) |
static void |
StringList_setitem(long jarg1,
StringList jarg1_,
int jarg2,
java.lang.String jarg3) |
static int |
StringList_size(long jarg1,
StringList jarg1_) |
static void |
StringStringMap_clear(long jarg1,
StringStringMap jarg1_) |
static void |
StringStringMap_del(long jarg1,
StringStringMap jarg1_,
java.lang.String jarg2) |
static boolean |
StringStringMap_empty(long jarg1,
StringStringMap jarg1_) |
static java.lang.String |
StringStringMap_get(long jarg1,
StringStringMap jarg1_,
java.lang.String jarg2) |
static boolean |
StringStringMap_hasKey(long jarg1,
StringStringMap jarg1_,
java.lang.String jarg2) |
static void |
StringStringMap_set(long jarg1,
StringStringMap jarg1_,
java.lang.String jarg2,
java.lang.String jarg3) |
static long |
StringStringMap_size(long jarg1,
StringStringMap jarg1_) |
static void |
SwigDirector_ProgressReporter_activate(ProgressReporter jself) |
static void |
SwigDirector_ProgressReporter_deactivate(ProgressReporter jself) |
static void |
SwigDirector_ProgressReporter_taskFinished(ProgressReporter jself,
long task_id) |
static void |
SwigDirector_ProgressReporter_taskMessageOutput(ProgressReporter jself,
long task_id,
java.lang.String message) |
static void |
SwigDirector_ProgressReporter_taskStarted(ProgressReporter jself,
long task_id,
long parent_task_id,
java.lang.String task_name) |
static void |
SwigDirector_ProgressReporter_taskStatusUpdated(ProgressReporter jself,
long task_id,
java.lang.String new_status) |
static int |
TAU_get() |
static long |
TraceBehaviour_errorEvent(long jarg1,
TraceBehaviour jarg1_) |
static long |
TraceBehaviour_SWIGSmartPtrUpcast(long jarg1) |
static void |
TraceBehaviourList_clear(long jarg1,
TraceBehaviourList jarg1_) |
static boolean |
TraceBehaviourList_empty(long jarg1,
TraceBehaviourList jarg1_) |
static long |
TraceBehaviourList_getitem(long jarg1,
TraceBehaviourList jarg1_,
int jarg2) |
static void |
TraceBehaviourList_pushBack(long jarg1,
TraceBehaviourList jarg1_,
long jarg2,
TraceBehaviour jarg2_) |
static void |
TraceBehaviourList_removeRange(long jarg1,
TraceBehaviourList jarg1_,
int jarg2,
int jarg3) |
static void |
TraceBehaviourList_setitem(long jarg1,
TraceBehaviourList jarg1_,
int jarg2,
long jarg3,
TraceBehaviour jarg3_) |
static int |
TraceBehaviourList_size(long jarg1,
TraceBehaviourList jarg1_) |
static long |
TraceCounterexample_errorEvent(long jarg1,
TraceCounterexample jarg1_) |
static long |
TraceCounterexample_SWIGSmartPtrUpcast(long jarg1) |
static long |
Transition_destination(long jarg1,
Transition jarg1_) |
static long |
Transition_event(long jarg1,
Transition jarg1_) |
static void |
TransitionList_clear(long jarg1,
TransitionList jarg1_) |
static boolean |
TransitionList_empty(long jarg1,
TransitionList jarg1_) |
static long |
TransitionList_getitem(long jarg1,
TransitionList jarg1_,
int jarg2) |
static void |
TransitionList_pushBack(long jarg1,
TransitionList jarg1_,
long jarg2,
Transition jarg2_) |
static void |
TransitionList_removeRange(long jarg1,
TransitionList jarg1_,
int jarg2,
int jarg3) |
static void |
TransitionList_setitem(long jarg1,
TransitionList jarg1_,
int jarg2,
long jarg3,
Transition jarg3_) |
static int |
TransitionList_size(long jarg1,
TransitionList jarg1_) |
static long |
UnknownOptionError_SWIGUpcast(long jarg1) |
static java.lang.String |
version() |
public static final long new_StringList__SWIG_0()
public static final long new_StringList__SWIG_1(long jarg1)
public static final long new_StringList__SWIG_2(long jarg1, StringList jarg1_)
public static final boolean StringList_empty(long jarg1, StringList jarg1_)
public static final void StringList_clear(long jarg1, StringList jarg1_)
public static final void StringList_pushBack(long jarg1, StringList jarg1_, java.lang.String jarg2)
public static final java.lang.String StringList_getitem(long jarg1, StringList jarg1_, int jarg2)
public static final void StringList_setitem(long jarg1, StringList jarg1_, int jarg2, java.lang.String jarg3)
public static final int StringList_size(long jarg1, StringList jarg1_)
public static final void StringList_removeRange(long jarg1, StringList jarg1_, int jarg2, int jarg3)
public static final void delete_StringList(long jarg1)
public static final long new_StringStringMap__SWIG_0()
public static final long new_StringStringMap__SWIG_1(long jarg1, StringStringMap jarg1_)
public static final long StringStringMap_size(long jarg1, StringStringMap jarg1_)
public static final boolean StringStringMap_empty(long jarg1, StringStringMap jarg1_)
public static final void StringStringMap_clear(long jarg1, StringStringMap jarg1_)
public static final java.lang.String StringStringMap_get(long jarg1, StringStringMap jarg1_, java.lang.String jarg2)
public static final void StringStringMap_set(long jarg1, StringStringMap jarg1_, java.lang.String jarg2, java.lang.String jarg3)
public static final void StringStringMap_del(long jarg1, StringStringMap jarg1_, java.lang.String jarg2)
public static final boolean StringStringMap_hasKey(long jarg1, StringStringMap jarg1_, java.lang.String jarg2)
public static final void delete_StringStringMap(long jarg1)
public static final long new_CompiledEventList__SWIG_0()
public static final long new_CompiledEventList__SWIG_1(long jarg1)
public static final long new_CompiledEventList__SWIG_2(long jarg1, CompiledEventList jarg1_)
public static final boolean CompiledEventList_empty(long jarg1, CompiledEventList jarg1_)
public static final void CompiledEventList_clear(long jarg1, CompiledEventList jarg1_)
public static final void CompiledEventList_pushBack(long jarg1, CompiledEventList jarg1_, long jarg2)
public static final long CompiledEventList_getitem(long jarg1, CompiledEventList jarg1_, int jarg2)
public static final void CompiledEventList_setitem(long jarg1, CompiledEventList jarg1_, int jarg2, long jarg3)
public static final int CompiledEventList_size(long jarg1, CompiledEventList jarg1_)
public static final void CompiledEventList_removeRange(long jarg1, CompiledEventList jarg1_, int jarg2, int jarg3)
public static final void delete_CompiledEventList(long jarg1)
public static final long new_AcceptanceList__SWIG_0()
public static final long new_AcceptanceList__SWIG_1(long jarg1)
public static final long new_AcceptanceList__SWIG_2(long jarg1, AcceptanceList jarg1_)
public static final boolean AcceptanceList_empty(long jarg1, AcceptanceList jarg1_)
public static final void AcceptanceList_clear(long jarg1, AcceptanceList jarg1_)
public static final void AcceptanceList_pushBack(long jarg1, AcceptanceList jarg1_, long jarg2, CompiledEventList jarg2_)
public static final long AcceptanceList_getitem(long jarg1, AcceptanceList jarg1_, int jarg2)
public static final void AcceptanceList_setitem(long jarg1, AcceptanceList jarg1_, int jarg2, long jarg3, CompiledEventList jarg3_)
public static final int AcceptanceList_size(long jarg1, AcceptanceList jarg1_)
public static final void AcceptanceList_removeRange(long jarg1, AcceptanceList jarg1_, int jarg2, int jarg3)
public static final void delete_AcceptanceList(long jarg1)
public static final long new_TraceBehaviourList__SWIG_0()
public static final long new_TraceBehaviourList__SWIG_1(long jarg1)
public static final long new_TraceBehaviourList__SWIG_2(long jarg1, TraceBehaviourList jarg1_)
public static final boolean TraceBehaviourList_empty(long jarg1, TraceBehaviourList jarg1_)
public static final void TraceBehaviourList_clear(long jarg1, TraceBehaviourList jarg1_)
public static final void TraceBehaviourList_pushBack(long jarg1, TraceBehaviourList jarg1_, long jarg2, TraceBehaviour jarg2_)
public static final long TraceBehaviourList_getitem(long jarg1, TraceBehaviourList jarg1_, int jarg2)
public static final void TraceBehaviourList_setitem(long jarg1, TraceBehaviourList jarg1_, int jarg2, long jarg3, TraceBehaviour jarg3_)
public static final int TraceBehaviourList_size(long jarg1, TraceBehaviourList jarg1_)
public static final void TraceBehaviourList_removeRange(long jarg1, TraceBehaviourList jarg1_, int jarg2, int jarg3)
public static final void delete_TraceBehaviourList(long jarg1)
public static final long new_EventList__SWIG_0()
public static final long new_EventList__SWIG_1(long jarg1)
public static final long new_EventList__SWIG_2(long jarg1, EventList jarg1_)
public static final boolean EventList_empty(long jarg1, EventList jarg1_)
public static final void EventList_clear(long jarg1, EventList jarg1_)
public static final void EventList_pushBack(long jarg1, EventList jarg1_, long jarg2, Event jarg2_)
public static final long EventList_getitem(long jarg1, EventList jarg1_, int jarg2)
public static final void EventList_setitem(long jarg1, EventList jarg1_, int jarg2, long jarg3, Event jarg3_)
public static final int EventList_size(long jarg1, EventList jarg1_)
public static final void EventList_removeRange(long jarg1, EventList jarg1_, int jarg2, int jarg3)
public static final void delete_EventList(long jarg1)
public static final long new_MachineEvaluatorResult__SWIG_0(long jarg1, StringList jarg1_, long jarg2, Machine jarg2_)
public static final long new_MachineEvaluatorResult__SWIG_1(long jarg1, MachineEvaluatorResult jarg1_)
public static final long MachineEvaluatorResult_result(long jarg1, MachineEvaluatorResult jarg1_)
public static final long MachineEvaluatorResult_warnings(long jarg1, MachineEvaluatorResult jarg1_)
public static final void delete_MachineEvaluatorResult(long jarg1)
public static final long new_OptionList__SWIG_0()
public static final long new_OptionList__SWIG_1(long jarg1)
public static final long new_OptionList__SWIG_2(long jarg1, OptionList jarg1_)
public static final boolean OptionList_empty(long jarg1, OptionList jarg1_)
public static final void OptionList_clear(long jarg1, OptionList jarg1_)
public static final void OptionList_pushBack(long jarg1, OptionList jarg1_, long jarg2, Option jarg2_)
public static final long OptionList_getitem(long jarg1, OptionList jarg1_, int jarg2)
public static final void OptionList_setitem(long jarg1, OptionList jarg1_, int jarg2, long jarg3, Option jarg3_)
public static final int OptionList_size(long jarg1, OptionList jarg1_)
public static final void OptionList_removeRange(long jarg1, OptionList jarg1_, int jarg2, int jarg3)
public static final void delete_OptionList(long jarg1)
public static final long new_PrintStatementList__SWIG_0()
public static final long new_PrintStatementList__SWIG_1(long jarg1)
public static final long new_PrintStatementList__SWIG_2(long jarg1, PrintStatementList jarg1_)
public static final boolean PrintStatementList_empty(long jarg1, PrintStatementList jarg1_)
public static final void PrintStatementList_clear(long jarg1, PrintStatementList jarg1_)
public static final void PrintStatementList_pushBack(long jarg1, PrintStatementList jarg1_, long jarg2, PrintStatement jarg2_)
public static final long PrintStatementList_getitem(long jarg1, PrintStatementList jarg1_, int jarg2)
public static final void PrintStatementList_setitem(long jarg1, PrintStatementList jarg1_, int jarg2, long jarg3, PrintStatement jarg3_)
public static final int PrintStatementList_size(long jarg1, PrintStatementList jarg1_)
public static final void PrintStatementList_removeRange(long jarg1, PrintStatementList jarg1_, int jarg2, int jarg3)
public static final void delete_PrintStatementList(long jarg1)
public static final long new_StringEvaluatorResult__SWIG_0(long jarg1, StringList jarg1_, java.lang.String jarg2)
public static final long new_StringEvaluatorResult__SWIG_1(long jarg1, StringEvaluatorResult jarg1_)
public static final java.lang.String StringEvaluatorResult_result(long jarg1, StringEvaluatorResult jarg1_)
public static final long StringEvaluatorResult_warnings(long jarg1, StringEvaluatorResult jarg1_)
public static final void delete_StringEvaluatorResult(long jarg1)
public static final long new_TransitionList__SWIG_0()
public static final long new_TransitionList__SWIG_1(long jarg1)
public static final long new_TransitionList__SWIG_2(long jarg1, TransitionList jarg1_)
public static final boolean TransitionList_empty(long jarg1, TransitionList jarg1_)
public static final void TransitionList_clear(long jarg1, TransitionList jarg1_)
public static final void TransitionList_pushBack(long jarg1, TransitionList jarg1_, long jarg2, Transition jarg2_)
public static final long TransitionList_getitem(long jarg1, TransitionList jarg1_, int jarg2)
public static final void TransitionList_setitem(long jarg1, TransitionList jarg1_, int jarg2, long jarg3, Transition jarg3_)
public static final int TransitionList_size(long jarg1, TransitionList jarg1_)
public static final void TransitionList_removeRange(long jarg1, TransitionList jarg1_, int jarg2, int jarg3)
public static final void delete_TransitionList(long jarg1)
public static final long new_AssertionEvaluatorResult__SWIG_0(long jarg1, StringList jarg1_, java.lang.Object jarg2)
public static final long new_AssertionEvaluatorResult__SWIG_1(long jarg1, AssertionEvaluatorResult jarg1_)
public static final java.lang.Object AssertionEvaluatorResult_result(long jarg1, AssertionEvaluatorResult jarg1_)
public static final long AssertionEvaluatorResult_warnings(long jarg1, AssertionEvaluatorResult jarg1_)
public static final void delete_AssertionEvaluatorResult(long jarg1)
public static final long new_AssertionList__SWIG_0()
public static final long new_AssertionList__SWIG_1(long jarg1)
public static final long new_AssertionList__SWIG_2(long jarg1, AssertionList jarg1_)
public static final boolean AssertionList_empty(long jarg1, AssertionList jarg1_)
public static final void AssertionList_clear(long jarg1, AssertionList jarg1_)
public static final void AssertionList_pushBack(long jarg1, AssertionList jarg1_, java.lang.Object jarg2)
public static final java.lang.Object AssertionList_getitem(long jarg1, AssertionList jarg1_, int jarg2)
public static final void AssertionList_setitem(long jarg1, AssertionList jarg1_, int jarg2, java.lang.Object jarg3)
public static final int AssertionList_size(long jarg1, AssertionList jarg1_)
public static final void AssertionList_removeRange(long jarg1, AssertionList jarg1_, int jarg2, int jarg3)
public static final void delete_AssertionList(long jarg1)
public static final long new_CounterexampleList__SWIG_0()
public static final long new_CounterexampleList__SWIG_1(long jarg1)
public static final long new_CounterexampleList__SWIG_2(long jarg1, CounterexampleList jarg1_)
public static final boolean CounterexampleList_empty(long jarg1, CounterexampleList jarg1_)
public static final void CounterexampleList_clear(long jarg1, CounterexampleList jarg1_)
public static final void CounterexampleList_pushBack(long jarg1, CounterexampleList jarg1_, java.lang.Object jarg2)
public static final java.lang.Object CounterexampleList_getitem(long jarg1, CounterexampleList jarg1_, int jarg2)
public static final void CounterexampleList_setitem(long jarg1, CounterexampleList jarg1_, int jarg2, java.lang.Object jarg3)
public static final int CounterexampleList_size(long jarg1, CounterexampleList jarg1_)
public static final void CounterexampleList_removeRange(long jarg1, CounterexampleList jarg1_, int jarg2, int jarg3)
public static final void delete_CounterexampleList(long jarg1)
public static final long new_BehaviourList__SWIG_0()
public static final long new_BehaviourList__SWIG_1(long jarg1)
public static final long new_BehaviourList__SWIG_2(long jarg1, BehaviourList jarg1_)
public static final boolean BehaviourList_empty(long jarg1, BehaviourList jarg1_)
public static final void BehaviourList_clear(long jarg1, BehaviourList jarg1_)
public static final void BehaviourList_pushBack(long jarg1, BehaviourList jarg1_, java.lang.Object jarg2)
public static final java.lang.Object BehaviourList_getitem(long jarg1, BehaviourList jarg1_, int jarg2)
public static final void BehaviourList_setitem(long jarg1, BehaviourList jarg1_, int jarg2, java.lang.Object jarg3)
public static final int BehaviourList_size(long jarg1, BehaviourList jarg1_)
public static final void BehaviourList_removeRange(long jarg1, BehaviourList jarg1_, int jarg2, int jarg3)
public static final void delete_BehaviourList(long jarg1)
public static final long new_NodePath__SWIG_0()
public static final long new_NodePath__SWIG_1(long jarg1)
public static final long new_NodePath__SWIG_2(long jarg1, NodePath jarg1_)
public static final boolean NodePath_empty(long jarg1, NodePath jarg1_)
public static final void NodePath_clear(long jarg1, NodePath jarg1_)
public static final void NodePath_pushBack(long jarg1, NodePath jarg1_, long jarg2, Node jarg2_)
public static final long NodePath_getitem(long jarg1, NodePath jarg1_, int jarg2)
public static final void NodePath_setitem(long jarg1, NodePath jarg1_, int jarg2, long jarg3, Node jarg3_)
public static final int NodePath_size(long jarg1, NodePath jarg1_)
public static final void NodePath_removeRange(long jarg1, NodePath jarg1_, int jarg2, int jarg3)
public static final void delete_NodePath(long jarg1)
public static final long new_Error(java.lang.String jarg1)
public static final java.lang.String Error_toString(long jarg1, Error jarg1_)
public static final void delete_Error(long jarg1)
public static final void delete_Node(long jarg1)
public static final int Node_hashCode(long jarg1, Node jarg1_)
public static final boolean Node_equals(long jarg1, Node jarg1_, long jarg2, Node jarg2_)
public static final int INVALIDEVENT_get()
public static final int TAU_get()
public static final int SemanticModel_Default_get()
public static final int SemanticModel_Traces_get()
public static final int SemanticModel_Failures_get()
public static final int SemanticModel_FailuresDivergences_get()
public static final int SemanticModel_Refusals_get()
public static final int SemanticModel_RefusalsDivergences_get()
public static final int SemanticModel_Revivals_get()
public static final int SemanticModel_RevivalsDivergences_get()
public static final long new_CancelledError()
public static final void delete_CancelledError(long jarg1)
public static final long new_Canceller()
public static final void delete_Canceller(long jarg1)
public static final boolean Canceller_cancelled(long jarg1, Canceller jarg1_)
public static final void Canceller_cancel(long jarg1, Canceller jarg1_)
public static final void libraryInit()
public static final void activateEmbeddedLicense(java.lang.String jarg1, java.lang.String jarg2)
public static final boolean hasValidLicense()
public static final void libraryExit()
public static final java.lang.String version()
public static final long new_DisallowedOptionValueError(java.lang.String jarg1, java.lang.String jarg2)
public static final void delete_DisallowedOptionValueError(long jarg1)
public static final long new_UnknownOptionError(java.lang.String jarg1)
public static final void delete_UnknownOptionError(long jarg1)
public static final void delete_Option(long jarg1)
public static final long Option_allowedValues(long jarg1, Option jarg1_)
public static final java.lang.String Option_defaultValue(long jarg1, Option jarg1_)
public static final java.lang.String Option_get(long jarg1, Option jarg1_)
public static final java.lang.String Option_description(long jarg1, Option jarg1_)
public static final java.lang.String Option_name(long jarg1, Option jarg1_)
public static final void Option_set(long jarg1, Option jarg1_, java.lang.String jarg2)
public static final long Option_options()
public static final long Option_getOption(java.lang.String jarg1)
public static final java.lang.String Option_toString(long jarg1, Option jarg1_)
public static final long new_Transition__SWIG_0()
public static final long new_Transition__SWIG_1(long jarg1, long jarg2, Node jarg2_)
public static final long Transition_event(long jarg1, Transition jarg1_)
public static final long Transition_destination(long jarg1, Transition jarg1_)
public static final void delete_Transition(long jarg1)
public static final void delete_Machine(long jarg1)
public static final long Machine_rootNode(long jarg1, Machine jarg1_)
public static final long Machine_initials(long jarg1, Machine jarg1_, long jarg2, Node jarg2_)
public static final long Machine_afters(long jarg1, Machine jarg1_, long jarg2, Node jarg2_, long jarg3)
public static final long Machine_minimalAcceptances(long jarg1, Machine jarg1_, long jarg2, Node jarg2_)
public static final long Machine_transitions(long jarg1, Machine jarg1_, long jarg2, Node jarg2_)
public static final boolean Machine_isDivergent(long jarg1, Machine jarg1_, long jarg2, Node jarg2_, long jarg3, Canceller jarg3_)
public static final long Machine_alphabet(long jarg1, Machine jarg1_, boolean jarg2)
public static final boolean Machine_isExplicitlyDivergent(long jarg1, Machine jarg1_, long jarg2, Node jarg2_)
public static final boolean Machine_hasDivergenceLabellings(long jarg1, Machine jarg1_)
public static final boolean Machine_hasMinimalAcceptanceLabellings(long jarg1, Machine jarg1_)
public static final long new_ProgressReporter()
public static final void delete_ProgressReporter(long jarg1)
public static final int ProgressReporter_INVALIDTASK_get()
public static final void ProgressReporter_activate(long jarg1, ProgressReporter jarg1_)
public static final void ProgressReporter_activateSwigExplicitProgressReporter(long jarg1, ProgressReporter jarg1_)
public static final void ProgressReporter_deactivate(long jarg1, ProgressReporter jarg1_)
public static final void ProgressReporter_deactivateSwigExplicitProgressReporter(long jarg1, ProgressReporter jarg1_)
public static final void ProgressReporter_taskStarted(long jarg1, ProgressReporter jarg1_, long jarg2, long jarg3, java.lang.String jarg4)
public static final void ProgressReporter_taskStartedSwigExplicitProgressReporter(long jarg1, ProgressReporter jarg1_, long jarg2, long jarg3, java.lang.String jarg4)
public static final void ProgressReporter_taskFinished(long jarg1, ProgressReporter jarg1_, long jarg2)
public static final void ProgressReporter_taskFinishedSwigExplicitProgressReporter(long jarg1, ProgressReporter jarg1_, long jarg2)
public static final void ProgressReporter_taskMessageOutput(long jarg1, ProgressReporter jarg1_, long jarg2, java.lang.String jarg3)
public static final void ProgressReporter_taskMessageOutputSwigExplicitProgressReporter(long jarg1, ProgressReporter jarg1_, long jarg2, java.lang.String jarg3)
public static final void ProgressReporter_taskStatusUpdated(long jarg1, ProgressReporter jarg1_, long jarg2, java.lang.String jarg3)
public static final void ProgressReporter_taskStatusUpdatedSwigExplicitProgressReporter(long jarg1, ProgressReporter jarg1_, long jarg2, java.lang.String jarg3)
public static final void ProgressReporter_director_connect(ProgressReporter obj, long cptr, boolean mem_own, boolean weak_global)
public static final void ProgressReporter_change_ownership(ProgressReporter obj, long cptr, boolean take_or_release)
public static final long new_FileProgressReporter(java.lang.String jarg1)
public static final void FileProgressReporter_activate(long jarg1, FileProgressReporter jarg1_)
public static final void FileProgressReporter_deactivate(long jarg1, FileProgressReporter jarg1_)
public static final void FileProgressReporter_taskStarted(long jarg1, FileProgressReporter jarg1_, long jarg2, long jarg3, java.lang.String jarg4)
public static final void FileProgressReporter_taskFinished(long jarg1, FileProgressReporter jarg1_, long jarg2)
public static final void FileProgressReporter_taskMessageOutput(long jarg1, FileProgressReporter jarg1_, long jarg2, java.lang.String jarg3)
public static final void FileProgressReporter_taskStatusUpdated(long jarg1, FileProgressReporter jarg1_, long jarg2, java.lang.String jarg3)
public static final void delete_FileProgressReporter(long jarg1)
public static final long new_StreamProgressReporter(int jarg1)
public static final void StreamProgressReporter_activate(long jarg1, StreamProgressReporter jarg1_)
public static final void StreamProgressReporter_deactivate(long jarg1, StreamProgressReporter jarg1_)
public static final void StreamProgressReporter_taskStarted(long jarg1, StreamProgressReporter jarg1_, long jarg2, long jarg3, java.lang.String jarg4)
public static final void StreamProgressReporter_taskFinished(long jarg1, StreamProgressReporter jarg1_, long jarg2)
public static final void StreamProgressReporter_taskMessageOutput(long jarg1, StreamProgressReporter jarg1_, long jarg2, java.lang.String jarg3)
public static final void StreamProgressReporter_taskStatusUpdated(long jarg1, StreamProgressReporter jarg1_, long jarg2, java.lang.String jarg3)
public static final void delete_StreamProgressReporter(long jarg1)
public static final void delete_Behaviour(long jarg1)
public static final long Behaviour_machine(long jarg1, Behaviour jarg1_)
public static final long Behaviour_nodePath(long jarg1, Behaviour jarg1_)
public static final long Behaviour_trace(long jarg1, Behaviour jarg1_)
public static final void delete_Counterexample(long jarg1)
public static final void delete_Progress(long jarg1)
public static final void delete_BFSRefinementProgress(long jarg1)
public static final long BFSRefinementProgress_plys(long jarg1, BFSRefinementProgress jarg1_)
public static final long BFSRefinementProgress_statePairsCount(long jarg1, BFSRefinementProgress jarg1_)
public static final long BFSRefinementProgress_transitionCount(long jarg1, BFSRefinementProgress jarg1_)
public static final void delete_Assertion(long jarg1)
public static final void Assertion_execute(long jarg1, Assertion jarg1_, long jarg2, Canceller jarg2_)
public static final long Assertion_counterexamples(long jarg1, Assertion jarg1_)
public static final boolean Assertion_passed(long jarg1, Assertion jarg1_)
public static final java.lang.Object Assertion_progress(long jarg1, Assertion jarg1_)
public static final java.lang.String Assertion_toString(long jarg1, Assertion jarg1_)
public static final long Assertion_rootTaskId(long jarg1, Assertion jarg1_)
public static final long PropertyAssertion_machine(long jarg1, PropertyAssertion jarg1_)
public static final int PropertyAssertion_semanticModel(long jarg1, PropertyAssertion jarg1_)
public static final void delete_PropertyAssertion(long jarg1)
public static final long new_DeadlockFreeAssertion(long jarg1, Session jarg1_, long jarg2, Machine jarg2_, int jarg3)
public static final void delete_DeadlockFreeAssertion(long jarg1)
public static final long new_DivergenceFreeAssertion(long jarg1, Session jarg1_, long jarg2, Machine jarg2_, int jarg3)
public static final void delete_DivergenceFreeAssertion(long jarg1)
public static final long new_DeterministicAssertion(long jarg1, Session jarg1_, long jarg2, Machine jarg2_, int jarg3)
public static final void delete_DeterministicAssertion(long jarg1)
public static final long new_HasTraceAssertion(long jarg1, Session jarg1_, long jarg2, Machine jarg2_, int jarg3, long jarg4, CompiledEventList jarg4_)
public static final void delete_HasTraceAssertion(long jarg1)
public static final void delete_NegatedAssertion(long jarg1)
public static final long NegatedAssertion_innerAssertion(long jarg1, NegatedAssertion jarg1_)
public static final long new_RefinementAssertion(long jarg1, Session jarg1_, long jarg2, Machine jarg2_, int jarg3, long jarg4, Machine jarg4_)
public static final void delete_RefinementAssertion(long jarg1)
public static final long RefinementAssertion_implementation(long jarg1, RefinementAssertion jarg1_)
public static final int RefinementAssertion_model(long jarg1, RefinementAssertion jarg1_)
public static final long RefinementAssertion_specification(long jarg1, RefinementAssertion jarg1_)
public static final void delete_Event(long jarg1)
public static final java.lang.String Event_toString(long jarg1, Event jarg1_)
public static final int Event_hashCode(long jarg1, Event jarg1_)
public static final boolean Event_equals(long jarg1, Event jarg1_, long jarg2, Event jarg2_)
public static final void delete_ProcessName(long jarg1)
public static final java.lang.String ProcessName_toString(long jarg1, ProcessName jarg1_)
public static final int ProcessName_hashCode(long jarg1, ProcessName jarg1_)
public static final boolean ProcessName_equals(long jarg1, ProcessName jarg1_, long jarg2, ProcessName jarg2_)
public static final long new_FileLoadError(java.lang.String jarg1, java.lang.String jarg2)
public static final java.lang.String FileLoadError_fileName(long jarg1, FileLoadError jarg1_)
public static final void delete_FileLoadError(long jarg1)
public static final long new_InputFileError(java.lang.String jarg1)
public static final void delete_InputFileError(long jarg1)
public static final long new_PrintStatement__SWIG_0()
public static final long new_PrintStatement__SWIG_1(java.lang.String jarg1, java.lang.String jarg2)
public static final long new_PrintStatement__SWIG_2(long jarg1, PrintStatement jarg1_)
public static final java.lang.String PrintStatement_expression(long jarg1, PrintStatement jarg1_)
public static final java.lang.String PrintStatement_sourceLocation(long jarg1, PrintStatement jarg1_)
public static final void delete_PrintStatement(long jarg1)
public static final long new_Session()
public static final void delete_Session(long jarg1)
public static final long Session_loadFile(long jarg1, Session jarg1_, java.lang.String jarg2)
public static final long Session_loadStringsAsFile(long jarg1, Session jarg1_, java.lang.String jarg2, long jarg3, StringStringMap jarg3_)
public static final long Session_assertions(long jarg1, Session jarg1_)
public static final long Session_printStatements(long jarg1, Session jarg1_)
public static final long Session_evaluateExpression(long jarg1, Session jarg1_, java.lang.String jarg2, long jarg3, Canceller jarg3_)
public static final long Session_evaluateProcess(long jarg1, Session jarg1_, java.lang.String jarg2, int jarg3, long jarg4, Canceller jarg4_)
public static final long Session_parseAssertion(long jarg1, Session jarg1_, java.lang.String jarg2)
public static final long Session_compileEvent(long jarg1, Session jarg1_, long jarg2, Event jarg2_)
public static final long Session_uncompileEvent(long jarg1, Session jarg1_, long jarg2)
public static final long Session_uncompileEvents(long jarg1, Session jarg1_, long jarg2, CompiledEventList jarg2_)
public static final long Session_machineName(long jarg1, Session jarg1_, long jarg2, Machine jarg2_)
public static final long Session_machineNodeName(long jarg1, Session jarg1_, long jarg2, Machine jarg2_, long jarg3, Node jarg3_)
public static final long new_DebugContext__SWIG_0(long jarg1, RefinementCounterexample jarg1_, boolean jarg2)
public static final long new_DebugContext__SWIG_1(long jarg1, PropertyCounterexample jarg1_, boolean jarg2)
public static final void delete_DebugContext(long jarg1)
public static final void DebugContext_initialise(long jarg1, DebugContext jarg1_, long jarg2, Canceller jarg2_)
public static final long DebugContext_rootTaskId(long jarg1, DebugContext jarg1_)
public static final long DebugContext_rootBehaviours(long jarg1, DebugContext jarg1_)
public static final long DebugContext_behaviourChildren(long jarg1, DebugContext jarg1_, long jarg2, Behaviour jarg2_)
public static final long DebugContext_fullAlphabet(long jarg1, DebugContext jarg1_)
public static final long DebugContext_revealTau(long jarg1, DebugContext jarg1_, long jarg2, Behaviour jarg2_, long jarg3)
public static final long DebugContext_revealTausInTrace(long jarg1, DebugContext jarg1_, long jarg2, Behaviour jarg2_)
public static final long new_ExplicitDivergenceBehaviour(long jarg1, Machine jarg1_, long jarg2, NodePath jarg2_, long jarg3, CompiledEventList jarg3_)
public static final void delete_ExplicitDivergenceBehaviour(long jarg1)
public static final long new_IrrelevantBehaviour(long jarg1, Machine jarg1_, long jarg2, NodePath jarg2_, long jarg3, CompiledEventList jarg3_)
public static final void delete_IrrelevantBehaviour(long jarg1)
public static final long new_LoopBehaviour(long jarg1, Machine jarg1_, long jarg2, NodePath jarg2_, long jarg3, CompiledEventList jarg3_, long jarg4)
public static final long LoopBehaviour_loopIndex(long jarg1, LoopBehaviour jarg1_)
public static final void delete_LoopBehaviour(long jarg1)
public static final long new_MinAcceptanceBehaviour(long jarg1, Machine jarg1_, long jarg2, NodePath jarg2_, long jarg3, CompiledEventList jarg3_, long jarg4, CompiledEventList jarg4_)
public static final long MinAcceptanceBehaviour_minAcceptance(long jarg1, MinAcceptanceBehaviour jarg1_)
public static final void delete_MinAcceptanceBehaviour(long jarg1)
public static final long new_SegmentedBehaviour(long jarg1, Machine jarg1_, long jarg2, NodePath jarg2_, long jarg3, CompiledEventList jarg3_, java.lang.Object jarg4, long jarg5, TraceBehaviourList jarg5_)
public static final long SegmentedBehaviour_last(long jarg1, SegmentedBehaviour jarg1_)
public static final long SegmentedBehaviour_priorSections(long jarg1, SegmentedBehaviour jarg1_)
public static final void delete_SegmentedBehaviour(long jarg1)
public static final long new_TraceBehaviour(long jarg1, Machine jarg1_, long jarg2, NodePath jarg2_, long jarg3, CompiledEventList jarg3_, long jarg4)
public static final long TraceBehaviour_errorEvent(long jarg1, TraceBehaviour jarg1_)
public static final void delete_TraceBehaviour(long jarg1)
public static final java.lang.Object RefinementCounterexample_implementationBehaviour(long jarg1, RefinementCounterexample jarg1_)
public static final java.lang.Object RefinementCounterexample_specificationBehaviour(long jarg1, RefinementCounterexample jarg1_)
public static final void delete_RefinementCounterexample(long jarg1)
public static final java.lang.Object PropertyCounterexample_behaviour(long jarg1, PropertyCounterexample jarg1_)
public static final void delete_PropertyCounterexample(long jarg1)
public static final long new_DeadlockCounterexample(java.lang.Object jarg1)
public static final void delete_DeadlockCounterexample(long jarg1)
public static final long new_DeterminismCounterexample(java.lang.Object jarg1, java.lang.Object jarg2)
public static final void delete_DeterminismCounterexample(long jarg1)
public static final long new_DivergenceCounterexample(java.lang.Object jarg1)
public static final void delete_DivergenceCounterexample(long jarg1)
public static final long new_MinAcceptanceCounterexample(java.lang.Object jarg1, java.lang.Object jarg2)
public static final long MinAcceptanceCounterexample_minAcceptance(long jarg1, MinAcceptanceCounterexample jarg1_)
public static final void delete_MinAcceptanceCounterexample(long jarg1)
public static final long new_RefinementDivergenceCounterexample(java.lang.Object jarg1, java.lang.Object jarg2)
public static final void delete_RefinementDivergenceCounterexample(long jarg1)
public static final long new_TraceCounterexample(java.lang.Object jarg1, java.lang.Object jarg2)
public static final long TraceCounterexample_errorEvent(long jarg1, TraceCounterexample jarg1_)
public static final void delete_TraceCounterexample(long jarg1)
public static final long CancelledError_SWIGUpcast(long jarg1)
public static final long DisallowedOptionValueError_SWIGUpcast(long jarg1)
public static final long UnknownOptionError_SWIGUpcast(long jarg1)
public static final long FileProgressReporter_SWIGUpcast(long jarg1)
public static final long StreamProgressReporter_SWIGUpcast(long jarg1)
public static final long BFSRefinementProgress_SWIGSmartPtrUpcast(long jarg1)
public static final long PropertyAssertion_SWIGSmartPtrUpcast(long jarg1)
public static final long DeadlockFreeAssertion_SWIGSmartPtrUpcast(long jarg1)
public static final long DivergenceFreeAssertion_SWIGSmartPtrUpcast(long jarg1)
public static final long DeterministicAssertion_SWIGSmartPtrUpcast(long jarg1)
public static final long HasTraceAssertion_SWIGSmartPtrUpcast(long jarg1)
public static final long NegatedAssertion_SWIGSmartPtrUpcast(long jarg1)
public static final long RefinementAssertion_SWIGSmartPtrUpcast(long jarg1)
public static final long FileLoadError_SWIGUpcast(long jarg1)
public static final long InputFileError_SWIGUpcast(long jarg1)
public static final long ExplicitDivergenceBehaviour_SWIGSmartPtrUpcast(long jarg1)
public static final long IrrelevantBehaviour_SWIGSmartPtrUpcast(long jarg1)
public static final long LoopBehaviour_SWIGSmartPtrUpcast(long jarg1)
public static final long MinAcceptanceBehaviour_SWIGSmartPtrUpcast(long jarg1)
public static final long SegmentedBehaviour_SWIGSmartPtrUpcast(long jarg1)
public static final long TraceBehaviour_SWIGSmartPtrUpcast(long jarg1)
public static final long RefinementCounterexample_SWIGSmartPtrUpcast(long jarg1)
public static final long PropertyCounterexample_SWIGSmartPtrUpcast(long jarg1)
public static final long DeadlockCounterexample_SWIGSmartPtrUpcast(long jarg1)
public static final long DeterminismCounterexample_SWIGSmartPtrUpcast(long jarg1)
public static final long DivergenceCounterexample_SWIGSmartPtrUpcast(long jarg1)
public static final long MinAcceptanceCounterexample_SWIGSmartPtrUpcast(long jarg1)
public static final long RefinementDivergenceCounterexample_SWIGSmartPtrUpcast(long jarg1)
public static final long TraceCounterexample_SWIGSmartPtrUpcast(long jarg1)
public static void SwigDirector_ProgressReporter_activate(ProgressReporter jself)
public static void SwigDirector_ProgressReporter_deactivate(ProgressReporter jself)
public static void SwigDirector_ProgressReporter_taskStarted(ProgressReporter jself, long task_id, long parent_task_id, java.lang.String task_name)
public static void SwigDirector_ProgressReporter_taskFinished(ProgressReporter jself, long task_id)
public static void SwigDirector_ProgressReporter_taskMessageOutput(ProgressReporter jself, long task_id, java.lang.String message)
public static void SwigDirector_ProgressReporter_taskStatusUpdated(ProgressReporter jself, long task_id, java.lang.String new_status)