A B C D E F G H I L M N O P R S T U V W

A

AcceptanceList - Class in uk.ac.ox.cs.fdr

AcceptanceList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.AcceptanceList

AcceptanceList() - Constructor for class uk.ac.ox.cs.fdr.AcceptanceList

AcceptanceList(long) - Constructor for class uk.ac.ox.cs.fdr.AcceptanceList

AcceptanceList(AcceptanceList) - Constructor for class uk.ac.ox.cs.fdr.AcceptanceList

AcceptanceList_clear(long, AcceptanceList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AcceptanceList_empty(long, AcceptanceList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AcceptanceList_getitem(long, AcceptanceList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AcceptanceList_pushBack(long, AcceptanceList, long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AcceptanceList_removeRange(long, AcceptanceList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AcceptanceList_setitem(long, AcceptanceList, int, long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AcceptanceList_size(long, AcceptanceList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

activate() - Method in class uk.ac.ox.cs.fdr.FileProgressReporter

activate() - Method in class uk.ac.ox.cs.fdr.ProgressReporter

activate() - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter

activateEmbeddedLicense(String, String) - Static method in class uk.ac.ox.cs.fdr.fdr

activateEmbeddedLicense(String, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

add(CompiledEventList) - Method in class uk.ac.ox.cs.fdr.AcceptanceList

add(Assertion) - Method in class uk.ac.ox.cs.fdr.AssertionList

add(Behaviour) - Method in class uk.ac.ox.cs.fdr.BehaviourList

add(Long) - Method in class uk.ac.ox.cs.fdr.CompiledEventList

add(Counterexample) - Method in class uk.ac.ox.cs.fdr.CounterexampleList

add(Event) - Method in class uk.ac.ox.cs.fdr.EventList

add(Node) - Method in class uk.ac.ox.cs.fdr.NodePath

add(Option) - Method in class uk.ac.ox.cs.fdr.OptionList

add(PrintStatement) - Method in class uk.ac.ox.cs.fdr.PrintStatementList

add(String) - Method in class uk.ac.ox.cs.fdr.StringList

add(TraceBehaviour) - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

add(Transition) - Method in class uk.ac.ox.cs.fdr.TransitionList

afters(Node, long) - Method in class uk.ac.ox.cs.fdr.Machine

allowedValues() - Method in class uk.ac.ox.cs.fdr.Option

alphabet(boolean) - Method in class uk.ac.ox.cs.fdr.Machine

Assertion - Class in uk.ac.ox.cs.fdr

Assertion(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Assertion

Assertion_counterexamples(long, Assertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Assertion_execute(long, Assertion, long, Canceller) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Assertion_passed(long, Assertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Assertion_progress(long, Assertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Assertion_rootTaskId(long, Assertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Assertion_toString(long, Assertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionEvaluatorResult - Class in uk.ac.ox.cs.fdr

AssertionEvaluatorResult(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

AssertionEvaluatorResult(StringList, Assertion) - Constructor for class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

AssertionEvaluatorResult(AssertionEvaluatorResult) - Constructor for class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

AssertionEvaluatorResult_result(long, AssertionEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionEvaluatorResult_warnings(long, AssertionEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionList - Class in uk.ac.ox.cs.fdr

AssertionList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.AssertionList

AssertionList() - Constructor for class uk.ac.ox.cs.fdr.AssertionList

AssertionList(long) - Constructor for class uk.ac.ox.cs.fdr.AssertionList

AssertionList(AssertionList) - Constructor for class uk.ac.ox.cs.fdr.AssertionList

AssertionList_clear(long, AssertionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionList_empty(long, AssertionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionList_getitem(long, AssertionList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionList_pushBack(long, AssertionList, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionList_removeRange(long, AssertionList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionList_setitem(long, AssertionList, int, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

AssertionList_size(long, AssertionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

assertions() - Method in class uk.ac.ox.cs.fdr.Session

B

Behaviour - Class in uk.ac.ox.cs.fdr

Behaviour(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Behaviour

behaviour() - Method in class uk.ac.ox.cs.fdr.PropertyCounterexample

Behaviour_machine(long, Behaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Behaviour_nodePath(long, Behaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Behaviour_trace(long, Behaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

behaviourChildren(Behaviour) - Method in class uk.ac.ox.cs.fdr.DebugContext

BehaviourList - Class in uk.ac.ox.cs.fdr

BehaviourList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.BehaviourList

BehaviourList() - Constructor for class uk.ac.ox.cs.fdr.BehaviourList

BehaviourList(long) - Constructor for class uk.ac.ox.cs.fdr.BehaviourList

BehaviourList(BehaviourList) - Constructor for class uk.ac.ox.cs.fdr.BehaviourList

BehaviourList_clear(long, BehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BehaviourList_empty(long, BehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BehaviourList_getitem(long, BehaviourList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BehaviourList_pushBack(long, BehaviourList, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BehaviourList_removeRange(long, BehaviourList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BehaviourList_setitem(long, BehaviourList, int, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BehaviourList_size(long, BehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BFSRefinementProgress - Class in uk.ac.ox.cs.fdr

BFSRefinementProgress(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.BFSRefinementProgress

BFSRefinementProgress_plys(long, BFSRefinementProgress) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BFSRefinementProgress_statePairsCount(long, BFSRefinementProgress) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BFSRefinementProgress_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

BFSRefinementProgress_transitionCount(long, BFSRefinementProgress) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

C

cancel() - Method in class uk.ac.ox.cs.fdr.Canceller

cancelled() - Method in class uk.ac.ox.cs.fdr.Canceller

CancelledError - Exception in uk.ac.ox.cs.fdr

CancelledError(long, boolean) - Constructor for exception uk.ac.ox.cs.fdr.CancelledError

CancelledError() - Constructor for exception uk.ac.ox.cs.fdr.CancelledError

CancelledError_SWIGUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Canceller - Class in uk.ac.ox.cs.fdr

Canceller(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Canceller

Canceller() - Constructor for class uk.ac.ox.cs.fdr.Canceller

Canceller_cancel(long, Canceller) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Canceller_cancelled(long, Canceller) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

clear() - Method in class uk.ac.ox.cs.fdr.AcceptanceList

clear() - Method in class uk.ac.ox.cs.fdr.AssertionList

clear() - Method in class uk.ac.ox.cs.fdr.BehaviourList

clear() - Method in class uk.ac.ox.cs.fdr.CompiledEventList

clear() - Method in class uk.ac.ox.cs.fdr.CounterexampleList

clear() - Method in class uk.ac.ox.cs.fdr.EventList

clear() - Method in class uk.ac.ox.cs.fdr.NodePath

clear() - Method in class uk.ac.ox.cs.fdr.OptionList

clear() - Method in class uk.ac.ox.cs.fdr.PrintStatementList

clear() - Method in class uk.ac.ox.cs.fdr.StringList

clear() - Method in class uk.ac.ox.cs.fdr.StringStringMap

clear() - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

clear() - Method in class uk.ac.ox.cs.fdr.TransitionList

CompiledEventList - Class in uk.ac.ox.cs.fdr

CompiledEventList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.CompiledEventList

CompiledEventList() - Constructor for class uk.ac.ox.cs.fdr.CompiledEventList

CompiledEventList(long) - Constructor for class uk.ac.ox.cs.fdr.CompiledEventList

CompiledEventList(CompiledEventList) - Constructor for class uk.ac.ox.cs.fdr.CompiledEventList

CompiledEventList_clear(long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CompiledEventList_empty(long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CompiledEventList_getitem(long, CompiledEventList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CompiledEventList_pushBack(long, CompiledEventList, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CompiledEventList_removeRange(long, CompiledEventList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CompiledEventList_setitem(long, CompiledEventList, int, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CompiledEventList_size(long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

compileEvent(Event) - Method in class uk.ac.ox.cs.fdr.Session

Counterexample - Class in uk.ac.ox.cs.fdr

Counterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Counterexample

CounterexampleList - Class in uk.ac.ox.cs.fdr

CounterexampleList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.CounterexampleList

CounterexampleList() - Constructor for class uk.ac.ox.cs.fdr.CounterexampleList

CounterexampleList(long) - Constructor for class uk.ac.ox.cs.fdr.CounterexampleList

CounterexampleList(CounterexampleList) - Constructor for class uk.ac.ox.cs.fdr.CounterexampleList

CounterexampleList_clear(long, CounterexampleList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CounterexampleList_empty(long, CounterexampleList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CounterexampleList_getitem(long, CounterexampleList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CounterexampleList_pushBack(long, CounterexampleList, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CounterexampleList_removeRange(long, CounterexampleList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CounterexampleList_setitem(long, CounterexampleList, int, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

CounterexampleList_size(long, CounterexampleList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

counterexamples() - Method in class uk.ac.ox.cs.fdr.Assertion

D

deactivate() - Method in class uk.ac.ox.cs.fdr.FileProgressReporter

deactivate() - Method in class uk.ac.ox.cs.fdr.ProgressReporter

deactivate() - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter

DeadlockCounterexample - Class in uk.ac.ox.cs.fdr

DeadlockCounterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.DeadlockCounterexample

DeadlockCounterexample(Behaviour) - Constructor for class uk.ac.ox.cs.fdr.DeadlockCounterexample

DeadlockCounterexample_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DeadlockFreeAssertion - Class in uk.ac.ox.cs.fdr

DeadlockFreeAssertion(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.DeadlockFreeAssertion

DeadlockFreeAssertion(Session, Machine, SemanticModel) - Constructor for class uk.ac.ox.cs.fdr.DeadlockFreeAssertion

DeadlockFreeAssertion_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DebugContext - Class in uk.ac.ox.cs.fdr

DebugContext(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.DebugContext

DebugContext(RefinementCounterexample, boolean) - Constructor for class uk.ac.ox.cs.fdr.DebugContext

DebugContext(PropertyCounterexample, boolean) - Constructor for class uk.ac.ox.cs.fdr.DebugContext

DebugContext_behaviourChildren(long, DebugContext, long, Behaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DebugContext_fullAlphabet(long, DebugContext) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DebugContext_initialise(long, DebugContext, long, Canceller) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DebugContext_revealTau(long, DebugContext, long, Behaviour, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DebugContext_revealTausInTrace(long, DebugContext, long, Behaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DebugContext_rootBehaviours(long, DebugContext) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DebugContext_rootTaskId(long, DebugContext) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Default - Static variable in class uk.ac.ox.cs.fdr.SemanticModel

defaultValue() - Method in class uk.ac.ox.cs.fdr.Option

del(String) - Method in class uk.ac.ox.cs.fdr.StringStringMap

delete() - Method in class uk.ac.ox.cs.fdr.AcceptanceList

delete() - Method in class uk.ac.ox.cs.fdr.Assertion

delete() - Method in class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

delete() - Method in class uk.ac.ox.cs.fdr.AssertionList

delete() - Method in class uk.ac.ox.cs.fdr.Behaviour

delete() - Method in class uk.ac.ox.cs.fdr.BehaviourList

delete() - Method in class uk.ac.ox.cs.fdr.BFSRefinementProgress

delete() - Method in exception uk.ac.ox.cs.fdr.CancelledError

delete() - Method in class uk.ac.ox.cs.fdr.Canceller

delete() - Method in class uk.ac.ox.cs.fdr.CompiledEventList

delete() - Method in class uk.ac.ox.cs.fdr.Counterexample

delete() - Method in class uk.ac.ox.cs.fdr.CounterexampleList

delete() - Method in class uk.ac.ox.cs.fdr.DeadlockCounterexample

delete() - Method in class uk.ac.ox.cs.fdr.DeadlockFreeAssertion

delete() - Method in class uk.ac.ox.cs.fdr.DebugContext

delete() - Method in class uk.ac.ox.cs.fdr.DeterminismCounterexample

delete() - Method in class uk.ac.ox.cs.fdr.DeterministicAssertion

delete() - Method in exception uk.ac.ox.cs.fdr.DisallowedOptionValueError

delete() - Method in class uk.ac.ox.cs.fdr.DivergenceCounterexample

delete() - Method in class uk.ac.ox.cs.fdr.DivergenceFreeAssertion

delete() - Method in exception uk.ac.ox.cs.fdr.Error

delete() - Method in class uk.ac.ox.cs.fdr.Event

delete() - Method in class uk.ac.ox.cs.fdr.EventList

delete() - Method in class uk.ac.ox.cs.fdr.ExplicitDivergenceBehaviour

delete() - Method in exception uk.ac.ox.cs.fdr.FileLoadError

delete() - Method in class uk.ac.ox.cs.fdr.FileProgressReporter

delete() - Method in class uk.ac.ox.cs.fdr.HasTraceAssertion

delete() - Method in exception uk.ac.ox.cs.fdr.InputFileError

delete() - Method in class uk.ac.ox.cs.fdr.IrrelevantBehaviour

delete() - Method in class uk.ac.ox.cs.fdr.LoopBehaviour

delete() - Method in class uk.ac.ox.cs.fdr.Machine

delete() - Method in class uk.ac.ox.cs.fdr.MachineEvaluatorResult

delete() - Method in class uk.ac.ox.cs.fdr.MinAcceptanceBehaviour

delete() - Method in class uk.ac.ox.cs.fdr.MinAcceptanceCounterexample

delete() - Method in class uk.ac.ox.cs.fdr.NegatedAssertion

delete() - Method in class uk.ac.ox.cs.fdr.Node

delete() - Method in class uk.ac.ox.cs.fdr.NodePath

delete() - Method in class uk.ac.ox.cs.fdr.Option

delete() - Method in class uk.ac.ox.cs.fdr.OptionList

delete() - Method in class uk.ac.ox.cs.fdr.PrintStatement

delete() - Method in class uk.ac.ox.cs.fdr.PrintStatementList

delete() - Method in class uk.ac.ox.cs.fdr.ProcessName

delete() - Method in class uk.ac.ox.cs.fdr.Progress

delete() - Method in class uk.ac.ox.cs.fdr.ProgressReporter

delete() - Method in class uk.ac.ox.cs.fdr.PropertyAssertion

delete() - Method in class uk.ac.ox.cs.fdr.PropertyCounterexample

delete() - Method in class uk.ac.ox.cs.fdr.RefinementAssertion

delete() - Method in class uk.ac.ox.cs.fdr.RefinementCounterexample

delete() - Method in class uk.ac.ox.cs.fdr.RefinementDivergenceCounterexample

delete() - Method in class uk.ac.ox.cs.fdr.SegmentedBehaviour

delete() - Method in class uk.ac.ox.cs.fdr.Session

delete() - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter

delete() - Method in class uk.ac.ox.cs.fdr.StringEvaluatorResult

delete() - Method in class uk.ac.ox.cs.fdr.StringList

delete() - Method in class uk.ac.ox.cs.fdr.StringStringMap

delete() - Method in class uk.ac.ox.cs.fdr.TraceBehaviour

delete() - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

delete() - Method in class uk.ac.ox.cs.fdr.TraceCounterexample

delete() - Method in class uk.ac.ox.cs.fdr.Transition

delete() - Method in class uk.ac.ox.cs.fdr.TransitionList

delete() - Method in exception uk.ac.ox.cs.fdr.UnknownOptionError

delete_AcceptanceList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Assertion(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_AssertionEvaluatorResult(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_AssertionList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Behaviour(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_BehaviourList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_BFSRefinementProgress(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_CancelledError(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Canceller(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_CompiledEventList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Counterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_CounterexampleList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_DeadlockCounterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_DeadlockFreeAssertion(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_DebugContext(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_DeterminismCounterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_DeterministicAssertion(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_DisallowedOptionValueError(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_DivergenceCounterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_DivergenceFreeAssertion(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Error(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Event(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_EventList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_ExplicitDivergenceBehaviour(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_FileLoadError(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_FileProgressReporter(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_HasTraceAssertion(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_InputFileError(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_IrrelevantBehaviour(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_LoopBehaviour(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Machine(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_MachineEvaluatorResult(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_MinAcceptanceBehaviour(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_MinAcceptanceCounterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_NegatedAssertion(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Node(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_NodePath(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Option(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_OptionList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_PrintStatement(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_PrintStatementList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_ProcessName(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Progress(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_ProgressReporter(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_PropertyAssertion(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_PropertyCounterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_RefinementAssertion(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_RefinementCounterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_RefinementDivergenceCounterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_SegmentedBehaviour(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Session(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_StreamProgressReporter(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_StringEvaluatorResult(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_StringList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_StringStringMap(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_TraceBehaviour(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_TraceBehaviourList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_TraceCounterexample(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_Transition(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_TransitionList(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

delete_UnknownOptionError(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

description() - Method in class uk.ac.ox.cs.fdr.Option

destination() - Method in class uk.ac.ox.cs.fdr.Transition

DeterminismCounterexample - Class in uk.ac.ox.cs.fdr

DeterminismCounterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.DeterminismCounterexample

DeterminismCounterexample(Behaviour, Behaviour) - Constructor for class uk.ac.ox.cs.fdr.DeterminismCounterexample

DeterminismCounterexample_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DeterministicAssertion - Class in uk.ac.ox.cs.fdr

DeterministicAssertion(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.DeterministicAssertion

DeterministicAssertion(Session, Machine, SemanticModel) - Constructor for class uk.ac.ox.cs.fdr.DeterministicAssertion

DeterministicAssertion_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DisallowedOptionValueError - Exception in uk.ac.ox.cs.fdr

DisallowedOptionValueError(long, boolean) - Constructor for exception uk.ac.ox.cs.fdr.DisallowedOptionValueError

DisallowedOptionValueError(String, String) - Constructor for exception uk.ac.ox.cs.fdr.DisallowedOptionValueError

DisallowedOptionValueError_SWIGUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DivergenceCounterexample - Class in uk.ac.ox.cs.fdr

DivergenceCounterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.DivergenceCounterexample

DivergenceCounterexample(Behaviour) - Constructor for class uk.ac.ox.cs.fdr.DivergenceCounterexample

DivergenceCounterexample_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

DivergenceFreeAssertion - Class in uk.ac.ox.cs.fdr

DivergenceFreeAssertion(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.DivergenceFreeAssertion

DivergenceFreeAssertion(Session, Machine, SemanticModel) - Constructor for class uk.ac.ox.cs.fdr.DivergenceFreeAssertion

DivergenceFreeAssertion_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

E

empty() - Method in class uk.ac.ox.cs.fdr.AcceptanceList

empty() - Method in class uk.ac.ox.cs.fdr.AssertionList

empty() - Method in class uk.ac.ox.cs.fdr.BehaviourList

empty() - Method in class uk.ac.ox.cs.fdr.CompiledEventList

empty() - Method in class uk.ac.ox.cs.fdr.CounterexampleList

empty() - Method in class uk.ac.ox.cs.fdr.EventList

empty() - Method in class uk.ac.ox.cs.fdr.NodePath

empty() - Method in class uk.ac.ox.cs.fdr.OptionList

empty() - Method in class uk.ac.ox.cs.fdr.PrintStatementList

empty() - Method in class uk.ac.ox.cs.fdr.StringList

empty() - Method in class uk.ac.ox.cs.fdr.StringStringMap

empty() - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

empty() - Method in class uk.ac.ox.cs.fdr.TransitionList

equals(Object) - Method in class uk.ac.ox.cs.fdr.Event

equals(Event) - Method in class uk.ac.ox.cs.fdr.Event

equals(Object) - Method in class uk.ac.ox.cs.fdr.Node

equals(Node) - Method in class uk.ac.ox.cs.fdr.Node

equals(Object) - Method in class uk.ac.ox.cs.fdr.ProcessName

equals(ProcessName) - Method in class uk.ac.ox.cs.fdr.ProcessName

Error - Exception in uk.ac.ox.cs.fdr

Error(long, boolean) - Constructor for exception uk.ac.ox.cs.fdr.Error

Error(String) - Constructor for exception uk.ac.ox.cs.fdr.Error

Error_toString(long, Error) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

errorEvent() - Method in class uk.ac.ox.cs.fdr.TraceBehaviour

errorEvent() - Method in class uk.ac.ox.cs.fdr.TraceCounterexample

evaluateExpression(String, Canceller) - Method in class uk.ac.ox.cs.fdr.Session

evaluateProcess(String, SemanticModel, Canceller) - Method in class uk.ac.ox.cs.fdr.Session

Event - Class in uk.ac.ox.cs.fdr

Event(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Event

event() - Method in class uk.ac.ox.cs.fdr.Transition

Event_equals(long, Event, long, Event) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Event_hashCode(long, Event) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Event_toString(long, Event) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

EventList - Class in uk.ac.ox.cs.fdr

EventList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.EventList

EventList() - Constructor for class uk.ac.ox.cs.fdr.EventList

EventList(long) - Constructor for class uk.ac.ox.cs.fdr.EventList

EventList(EventList) - Constructor for class uk.ac.ox.cs.fdr.EventList

EventList_clear(long, EventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

EventList_empty(long, EventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

EventList_getitem(long, EventList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

EventList_pushBack(long, EventList, long, Event) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

EventList_removeRange(long, EventList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

EventList_setitem(long, EventList, int, long, Event) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

EventList_size(long, EventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

execute(Canceller) - Method in class uk.ac.ox.cs.fdr.Assertion

ExplicitDivergenceBehaviour - Class in uk.ac.ox.cs.fdr

ExplicitDivergenceBehaviour(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.ExplicitDivergenceBehaviour

ExplicitDivergenceBehaviour(Machine, NodePath, CompiledEventList) - Constructor for class uk.ac.ox.cs.fdr.ExplicitDivergenceBehaviour

ExplicitDivergenceBehaviour_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

expression() - Method in class uk.ac.ox.cs.fdr.PrintStatement

F

Failures - Static variable in class uk.ac.ox.cs.fdr.SemanticModel

FailuresDivergences - Static variable in class uk.ac.ox.cs.fdr.SemanticModel

fdr - Class in uk.ac.ox.cs.fdr

fdr() - Constructor for class uk.ac.ox.cs.fdr.fdr

fdrConstants - Interface in uk.ac.ox.cs.fdr

fdrJNI - Class in uk.ac.ox.cs.fdr

fdrJNI() - Constructor for class uk.ac.ox.cs.fdr.fdrJNI

FileLoadError - Exception in uk.ac.ox.cs.fdr

FileLoadError(long, boolean) - Constructor for exception uk.ac.ox.cs.fdr.FileLoadError

FileLoadError(String, String) - Constructor for exception uk.ac.ox.cs.fdr.FileLoadError

FileLoadError_fileName(long, FileLoadError) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

FileLoadError_SWIGUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

fileName() - Method in exception uk.ac.ox.cs.fdr.FileLoadError

FileProgressReporter - Class in uk.ac.ox.cs.fdr

FileProgressReporter(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.FileProgressReporter

FileProgressReporter(String) - Constructor for class uk.ac.ox.cs.fdr.FileProgressReporter

FileProgressReporter_activate(long, FileProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

FileProgressReporter_deactivate(long, FileProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

FileProgressReporter_SWIGUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

FileProgressReporter_taskFinished(long, FileProgressReporter, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

FileProgressReporter_taskMessageOutput(long, FileProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

FileProgressReporter_taskStarted(long, FileProgressReporter, long, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

FileProgressReporter_taskStatusUpdated(long, FileProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

finalize() - Method in class uk.ac.ox.cs.fdr.AcceptanceList

finalize() - Method in class uk.ac.ox.cs.fdr.Assertion

finalize() - Method in class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

finalize() - Method in class uk.ac.ox.cs.fdr.AssertionList

finalize() - Method in class uk.ac.ox.cs.fdr.Behaviour

finalize() - Method in class uk.ac.ox.cs.fdr.BehaviourList

finalize() - Method in class uk.ac.ox.cs.fdr.BFSRefinementProgress

finalize() - Method in exception uk.ac.ox.cs.fdr.CancelledError

finalize() - Method in class uk.ac.ox.cs.fdr.Canceller

finalize() - Method in class uk.ac.ox.cs.fdr.CompiledEventList

finalize() - Method in class uk.ac.ox.cs.fdr.Counterexample

finalize() - Method in class uk.ac.ox.cs.fdr.CounterexampleList

finalize() - Method in class uk.ac.ox.cs.fdr.DeadlockCounterexample

finalize() - Method in class uk.ac.ox.cs.fdr.DeadlockFreeAssertion

finalize() - Method in class uk.ac.ox.cs.fdr.DebugContext

finalize() - Method in class uk.ac.ox.cs.fdr.DeterminismCounterexample

finalize() - Method in class uk.ac.ox.cs.fdr.DeterministicAssertion

finalize() - Method in exception uk.ac.ox.cs.fdr.DisallowedOptionValueError

finalize() - Method in class uk.ac.ox.cs.fdr.DivergenceCounterexample

finalize() - Method in class uk.ac.ox.cs.fdr.DivergenceFreeAssertion

finalize() - Method in exception uk.ac.ox.cs.fdr.Error

finalize() - Method in class uk.ac.ox.cs.fdr.Event

finalize() - Method in class uk.ac.ox.cs.fdr.EventList

finalize() - Method in class uk.ac.ox.cs.fdr.ExplicitDivergenceBehaviour

finalize() - Method in exception uk.ac.ox.cs.fdr.FileLoadError

finalize() - Method in class uk.ac.ox.cs.fdr.FileProgressReporter

finalize() - Method in class uk.ac.ox.cs.fdr.HasTraceAssertion

finalize() - Method in exception uk.ac.ox.cs.fdr.InputFileError

finalize() - Method in class uk.ac.ox.cs.fdr.IrrelevantBehaviour

finalize() - Method in class uk.ac.ox.cs.fdr.LoopBehaviour

finalize() - Method in class uk.ac.ox.cs.fdr.Machine

finalize() - Method in class uk.ac.ox.cs.fdr.MachineEvaluatorResult

finalize() - Method in class uk.ac.ox.cs.fdr.MinAcceptanceBehaviour

finalize() - Method in class uk.ac.ox.cs.fdr.MinAcceptanceCounterexample

finalize() - Method in class uk.ac.ox.cs.fdr.NegatedAssertion

finalize() - Method in class uk.ac.ox.cs.fdr.Node

finalize() - Method in class uk.ac.ox.cs.fdr.NodePath

finalize() - Method in class uk.ac.ox.cs.fdr.Option

finalize() - Method in class uk.ac.ox.cs.fdr.OptionList

finalize() - Method in class uk.ac.ox.cs.fdr.PrintStatement

finalize() - Method in class uk.ac.ox.cs.fdr.PrintStatementList

finalize() - Method in class uk.ac.ox.cs.fdr.ProcessName

finalize() - Method in class uk.ac.ox.cs.fdr.Progress

finalize() - Method in class uk.ac.ox.cs.fdr.ProgressReporter

finalize() - Method in class uk.ac.ox.cs.fdr.PropertyAssertion

finalize() - Method in class uk.ac.ox.cs.fdr.PropertyCounterexample

finalize() - Method in class uk.ac.ox.cs.fdr.RefinementAssertion

finalize() - Method in class uk.ac.ox.cs.fdr.RefinementCounterexample

finalize() - Method in class uk.ac.ox.cs.fdr.RefinementDivergenceCounterexample

finalize() - Method in class uk.ac.ox.cs.fdr.SegmentedBehaviour

finalize() - Method in class uk.ac.ox.cs.fdr.Session

finalize() - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter

finalize() - Method in class uk.ac.ox.cs.fdr.StringEvaluatorResult

finalize() - Method in class uk.ac.ox.cs.fdr.StringList

finalize() - Method in class uk.ac.ox.cs.fdr.StringStringMap

finalize() - Method in class uk.ac.ox.cs.fdr.TraceBehaviour

finalize() - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

finalize() - Method in class uk.ac.ox.cs.fdr.TraceCounterexample

finalize() - Method in class uk.ac.ox.cs.fdr.Transition

finalize() - Method in class uk.ac.ox.cs.fdr.TransitionList

finalize() - Method in exception uk.ac.ox.cs.fdr.UnknownOptionError

fullAlphabet() - Method in class uk.ac.ox.cs.fdr.DebugContext

G

get(int) - Method in class uk.ac.ox.cs.fdr.AcceptanceList

get(int) - Method in class uk.ac.ox.cs.fdr.AssertionList

get(int) - Method in class uk.ac.ox.cs.fdr.BehaviourList

get(int) - Method in class uk.ac.ox.cs.fdr.CompiledEventList

get(int) - Method in class uk.ac.ox.cs.fdr.CounterexampleList

get(int) - Method in class uk.ac.ox.cs.fdr.EventList

get(int) - Method in class uk.ac.ox.cs.fdr.NodePath

get() - Method in class uk.ac.ox.cs.fdr.Option

get(int) - Method in class uk.ac.ox.cs.fdr.OptionList

get(int) - Method in class uk.ac.ox.cs.fdr.PrintStatementList

get(int) - Method in class uk.ac.ox.cs.fdr.StringList

get(String) - Method in class uk.ac.ox.cs.fdr.StringStringMap

get(int) - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

get(int) - Method in class uk.ac.ox.cs.fdr.TransitionList

getCPtr(AcceptanceList) - Static method in class uk.ac.ox.cs.fdr.AcceptanceList

getCPtr(Assertion) - Static method in class uk.ac.ox.cs.fdr.Assertion

getCPtr(AssertionEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

getCPtr(AssertionList) - Static method in class uk.ac.ox.cs.fdr.AssertionList

getCPtr(Behaviour) - Static method in class uk.ac.ox.cs.fdr.Behaviour

getCPtr(BehaviourList) - Static method in class uk.ac.ox.cs.fdr.BehaviourList

getCPtr(BFSRefinementProgress) - Static method in class uk.ac.ox.cs.fdr.BFSRefinementProgress

getCPtr(CancelledError) - Static method in exception uk.ac.ox.cs.fdr.CancelledError

getCPtr(Canceller) - Static method in class uk.ac.ox.cs.fdr.Canceller

getCPtr(CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.CompiledEventList

getCPtr(Counterexample) - Static method in class uk.ac.ox.cs.fdr.Counterexample

getCPtr(CounterexampleList) - Static method in class uk.ac.ox.cs.fdr.CounterexampleList

getCPtr(DeadlockCounterexample) - Static method in class uk.ac.ox.cs.fdr.DeadlockCounterexample

getCPtr(DeadlockFreeAssertion) - Static method in class uk.ac.ox.cs.fdr.DeadlockFreeAssertion

getCPtr(DebugContext) - Static method in class uk.ac.ox.cs.fdr.DebugContext

getCPtr(DeterminismCounterexample) - Static method in class uk.ac.ox.cs.fdr.DeterminismCounterexample

getCPtr(DeterministicAssertion) - Static method in class uk.ac.ox.cs.fdr.DeterministicAssertion

getCPtr(DisallowedOptionValueError) - Static method in exception uk.ac.ox.cs.fdr.DisallowedOptionValueError

getCPtr(DivergenceCounterexample) - Static method in class uk.ac.ox.cs.fdr.DivergenceCounterexample

getCPtr(DivergenceFreeAssertion) - Static method in class uk.ac.ox.cs.fdr.DivergenceFreeAssertion

getCPtr(Error) - Static method in exception uk.ac.ox.cs.fdr.Error

getCPtr(Event) - Static method in class uk.ac.ox.cs.fdr.Event

getCPtr(EventList) - Static method in class uk.ac.ox.cs.fdr.EventList

getCPtr(ExplicitDivergenceBehaviour) - Static method in class uk.ac.ox.cs.fdr.ExplicitDivergenceBehaviour

getCPtr(FileLoadError) - Static method in exception uk.ac.ox.cs.fdr.FileLoadError

getCPtr(FileProgressReporter) - Static method in class uk.ac.ox.cs.fdr.FileProgressReporter

getCPtr(HasTraceAssertion) - Static method in class uk.ac.ox.cs.fdr.HasTraceAssertion

getCPtr(InputFileError) - Static method in exception uk.ac.ox.cs.fdr.InputFileError

getCPtr(IrrelevantBehaviour) - Static method in class uk.ac.ox.cs.fdr.IrrelevantBehaviour

getCPtr(LoopBehaviour) - Static method in class uk.ac.ox.cs.fdr.LoopBehaviour

getCPtr(Machine) - Static method in class uk.ac.ox.cs.fdr.Machine

getCPtr(MachineEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.MachineEvaluatorResult

getCPtr(MinAcceptanceBehaviour) - Static method in class uk.ac.ox.cs.fdr.MinAcceptanceBehaviour

getCPtr(MinAcceptanceCounterexample) - Static method in class uk.ac.ox.cs.fdr.MinAcceptanceCounterexample

getCPtr(NegatedAssertion) - Static method in class uk.ac.ox.cs.fdr.NegatedAssertion

getCPtr(Node) - Static method in class uk.ac.ox.cs.fdr.Node

getCPtr(NodePath) - Static method in class uk.ac.ox.cs.fdr.NodePath

getCPtr(Option) - Static method in class uk.ac.ox.cs.fdr.Option

getCPtr(OptionList) - Static method in class uk.ac.ox.cs.fdr.OptionList

getCPtr(PrintStatement) - Static method in class uk.ac.ox.cs.fdr.PrintStatement

getCPtr(PrintStatementList) - Static method in class uk.ac.ox.cs.fdr.PrintStatementList

getCPtr(ProcessName) - Static method in class uk.ac.ox.cs.fdr.ProcessName

getCPtr(Progress) - Static method in class uk.ac.ox.cs.fdr.Progress

getCPtr(ProgressReporter) - Static method in class uk.ac.ox.cs.fdr.ProgressReporter

getCPtr(PropertyAssertion) - Static method in class uk.ac.ox.cs.fdr.PropertyAssertion

getCPtr(PropertyCounterexample) - Static method in class uk.ac.ox.cs.fdr.PropertyCounterexample

getCPtr(RefinementAssertion) - Static method in class uk.ac.ox.cs.fdr.RefinementAssertion

getCPtr(RefinementCounterexample) - Static method in class uk.ac.ox.cs.fdr.RefinementCounterexample

getCPtr(RefinementDivergenceCounterexample) - Static method in class uk.ac.ox.cs.fdr.RefinementDivergenceCounterexample

getCPtr(SegmentedBehaviour) - Static method in class uk.ac.ox.cs.fdr.SegmentedBehaviour

getCPtr(Session) - Static method in class uk.ac.ox.cs.fdr.Session

getCPtr(StreamProgressReporter) - Static method in class uk.ac.ox.cs.fdr.StreamProgressReporter

getCPtr(StringEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.StringEvaluatorResult

getCPtr(StringList) - Static method in class uk.ac.ox.cs.fdr.StringList

getCPtr(StringStringMap) - Static method in class uk.ac.ox.cs.fdr.StringStringMap

getCPtr(TraceBehaviour) - Static method in class uk.ac.ox.cs.fdr.TraceBehaviour

getCPtr(TraceBehaviourList) - Static method in class uk.ac.ox.cs.fdr.TraceBehaviourList

getCPtr(TraceCounterexample) - Static method in class uk.ac.ox.cs.fdr.TraceCounterexample

getCPtr(Transition) - Static method in class uk.ac.ox.cs.fdr.Transition

getCPtr(TransitionList) - Static method in class uk.ac.ox.cs.fdr.TransitionList

getCPtr(UnknownOptionError) - Static method in exception uk.ac.ox.cs.fdr.UnknownOptionError

getOption(String) - Static method in class uk.ac.ox.cs.fdr.Option

H

hasDivergenceLabellings() - Method in class uk.ac.ox.cs.fdr.Machine

hashCode() - Method in class uk.ac.ox.cs.fdr.Event

hashCode() - Method in class uk.ac.ox.cs.fdr.Node

hashCode() - Method in class uk.ac.ox.cs.fdr.ProcessName

hasKey(String) - Method in class uk.ac.ox.cs.fdr.StringStringMap

hasMinimalAcceptanceLabellings() - Method in class uk.ac.ox.cs.fdr.Machine

HasTraceAssertion - Class in uk.ac.ox.cs.fdr

HasTraceAssertion(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.HasTraceAssertion

HasTraceAssertion(Session, Machine, SemanticModel, CompiledEventList) - Constructor for class uk.ac.ox.cs.fdr.HasTraceAssertion

HasTraceAssertion_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

hasValidLicense() - Static method in class uk.ac.ox.cs.fdr.fdr

hasValidLicense() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

I

implementation() - Method in class uk.ac.ox.cs.fdr.RefinementAssertion

implementationBehaviour() - Method in class uk.ac.ox.cs.fdr.RefinementCounterexample

initialise(Canceller) - Method in class uk.ac.ox.cs.fdr.DebugContext

initials(Node) - Method in class uk.ac.ox.cs.fdr.Machine

innerAssertion() - Method in class uk.ac.ox.cs.fdr.NegatedAssertion

InputFileError - Exception in uk.ac.ox.cs.fdr

InputFileError(long, boolean) - Constructor for exception uk.ac.ox.cs.fdr.InputFileError

InputFileError(String) - Constructor for exception uk.ac.ox.cs.fdr.InputFileError

InputFileError_SWIGUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

INVALIDEVENT - Static variable in interface uk.ac.ox.cs.fdr.fdrConstants

INVALIDEVENT_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

INVALIDTASK - Static variable in class uk.ac.ox.cs.fdr.ProgressReporter

IrrelevantBehaviour - Class in uk.ac.ox.cs.fdr

IrrelevantBehaviour(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.IrrelevantBehaviour

IrrelevantBehaviour(Machine, NodePath, CompiledEventList) - Constructor for class uk.ac.ox.cs.fdr.IrrelevantBehaviour

IrrelevantBehaviour_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

isDivergent(Node, Canceller) - Method in class uk.ac.ox.cs.fdr.Machine

isExplicitlyDivergent(Node) - Method in class uk.ac.ox.cs.fdr.Machine

L

last() - Method in class uk.ac.ox.cs.fdr.SegmentedBehaviour

libraryExit() - Static method in class uk.ac.ox.cs.fdr.fdr

libraryExit() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

libraryInit() - Static method in class uk.ac.ox.cs.fdr.fdr

libraryInit() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

loadFile(String) - Method in class uk.ac.ox.cs.fdr.Session

loadStringsAsFile(String, Map<String, String>) - Method in class uk.ac.ox.cs.fdr.Session

LoopBehaviour - Class in uk.ac.ox.cs.fdr

LoopBehaviour(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.LoopBehaviour

LoopBehaviour(Machine, NodePath, CompiledEventList, long) - Constructor for class uk.ac.ox.cs.fdr.LoopBehaviour

LoopBehaviour_loopIndex(long, LoopBehaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

LoopBehaviour_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

loopIndex() - Method in class uk.ac.ox.cs.fdr.LoopBehaviour

M

machine() - Method in class uk.ac.ox.cs.fdr.Behaviour

Machine - Class in uk.ac.ox.cs.fdr

Machine(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Machine

machine() - Method in class uk.ac.ox.cs.fdr.PropertyAssertion

Machine_afters(long, Machine, long, Node, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_alphabet(long, Machine, boolean) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_hasDivergenceLabellings(long, Machine) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_hasMinimalAcceptanceLabellings(long, Machine) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_initials(long, Machine, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_isDivergent(long, Machine, long, Node, long, Canceller) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_isExplicitlyDivergent(long, Machine, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_minimalAcceptances(long, Machine, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_rootNode(long, Machine) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Machine_transitions(long, Machine, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

MachineEvaluatorResult - Class in uk.ac.ox.cs.fdr

MachineEvaluatorResult(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.MachineEvaluatorResult

MachineEvaluatorResult(StringList, Machine) - Constructor for class uk.ac.ox.cs.fdr.MachineEvaluatorResult

MachineEvaluatorResult(MachineEvaluatorResult) - Constructor for class uk.ac.ox.cs.fdr.MachineEvaluatorResult

MachineEvaluatorResult_result(long, MachineEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

MachineEvaluatorResult_warnings(long, MachineEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

machineName(Machine) - Method in class uk.ac.ox.cs.fdr.Session

machineNodeName(Machine, Node) - Method in class uk.ac.ox.cs.fdr.Session

minAcceptance() - Method in class uk.ac.ox.cs.fdr.MinAcceptanceBehaviour

minAcceptance() - Method in class uk.ac.ox.cs.fdr.MinAcceptanceCounterexample

MinAcceptanceBehaviour - Class in uk.ac.ox.cs.fdr

MinAcceptanceBehaviour(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.MinAcceptanceBehaviour

MinAcceptanceBehaviour(Machine, NodePath, CompiledEventList, CompiledEventList) - Constructor for class uk.ac.ox.cs.fdr.MinAcceptanceBehaviour

MinAcceptanceBehaviour_minAcceptance(long, MinAcceptanceBehaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

MinAcceptanceBehaviour_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

MinAcceptanceCounterexample - Class in uk.ac.ox.cs.fdr

MinAcceptanceCounterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.MinAcceptanceCounterexample

MinAcceptanceCounterexample(Behaviour, Behaviour) - Constructor for class uk.ac.ox.cs.fdr.MinAcceptanceCounterexample

MinAcceptanceCounterexample_minAcceptance(long, MinAcceptanceCounterexample) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

MinAcceptanceCounterexample_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

minimalAcceptances(Node) - Method in class uk.ac.ox.cs.fdr.Machine

model() - Method in class uk.ac.ox.cs.fdr.RefinementAssertion

N

name() - Method in class uk.ac.ox.cs.fdr.Option

NegatedAssertion - Class in uk.ac.ox.cs.fdr

NegatedAssertion(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.NegatedAssertion

NegatedAssertion_innerAssertion(long, NegatedAssertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

NegatedAssertion_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_AcceptanceList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_AcceptanceList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_AcceptanceList__SWIG_2(long, AcceptanceList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_AssertionEvaluatorResult__SWIG_0(long, StringList, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_AssertionEvaluatorResult__SWIG_1(long, AssertionEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_AssertionList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_AssertionList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_AssertionList__SWIG_2(long, AssertionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_BehaviourList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_BehaviourList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_BehaviourList__SWIG_2(long, BehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_CancelledError() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_Canceller() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_CompiledEventList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_CompiledEventList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_CompiledEventList__SWIG_2(long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_CounterexampleList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_CounterexampleList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_CounterexampleList__SWIG_2(long, CounterexampleList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DeadlockCounterexample(Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DeadlockFreeAssertion(long, Session, long, Machine, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DebugContext__SWIG_0(long, RefinementCounterexample, boolean) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DebugContext__SWIG_1(long, PropertyCounterexample, boolean) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DeterminismCounterexample(Object, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DeterministicAssertion(long, Session, long, Machine, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DisallowedOptionValueError(String, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DivergenceCounterexample(Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_DivergenceFreeAssertion(long, Session, long, Machine, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_Error(String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_EventList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_EventList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_EventList__SWIG_2(long, EventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_ExplicitDivergenceBehaviour(long, Machine, long, NodePath, long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_FileLoadError(String, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_FileProgressReporter(String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_HasTraceAssertion(long, Session, long, Machine, int, long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_InputFileError(String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_IrrelevantBehaviour(long, Machine, long, NodePath, long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_LoopBehaviour(long, Machine, long, NodePath, long, CompiledEventList, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_MachineEvaluatorResult__SWIG_0(long, StringList, long, Machine) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_MachineEvaluatorResult__SWIG_1(long, MachineEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_MinAcceptanceBehaviour(long, Machine, long, NodePath, long, CompiledEventList, long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_MinAcceptanceCounterexample(Object, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_NodePath__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_NodePath__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_NodePath__SWIG_2(long, NodePath) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_OptionList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_OptionList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_OptionList__SWIG_2(long, OptionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_PrintStatement__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_PrintStatement__SWIG_1(String, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_PrintStatement__SWIG_2(long, PrintStatement) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_PrintStatementList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_PrintStatementList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_PrintStatementList__SWIG_2(long, PrintStatementList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_ProgressReporter() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_RefinementAssertion(long, Session, long, Machine, int, long, Machine) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_RefinementDivergenceCounterexample(Object, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_SegmentedBehaviour(long, Machine, long, NodePath, long, CompiledEventList, Object, long, TraceBehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_Session() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_StreamProgressReporter(int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_StringEvaluatorResult__SWIG_0(long, StringList, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_StringEvaluatorResult__SWIG_1(long, StringEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_StringList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_StringList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_StringList__SWIG_2(long, StringList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_StringStringMap__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_StringStringMap__SWIG_1(long, StringStringMap) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_TraceBehaviour(long, Machine, long, NodePath, long, CompiledEventList, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_TraceBehaviourList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_TraceBehaviourList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_TraceBehaviourList__SWIG_2(long, TraceBehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_TraceCounterexample(Object, Object) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_Transition__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_Transition__SWIG_1(long, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_TransitionList__SWIG_0() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_TransitionList__SWIG_1(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_TransitionList__SWIG_2(long, TransitionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

new_UnknownOptionError(String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Node - Class in uk.ac.ox.cs.fdr

Node(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Node

Node_equals(long, Node, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Node_hashCode(long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

nodePath() - Method in class uk.ac.ox.cs.fdr.Behaviour

NodePath - Class in uk.ac.ox.cs.fdr

NodePath(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.NodePath

NodePath() - Constructor for class uk.ac.ox.cs.fdr.NodePath

NodePath(long) - Constructor for class uk.ac.ox.cs.fdr.NodePath

NodePath(NodePath) - Constructor for class uk.ac.ox.cs.fdr.NodePath

NodePath_clear(long, NodePath) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

NodePath_empty(long, NodePath) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

NodePath_getitem(long, NodePath, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

NodePath_pushBack(long, NodePath, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

NodePath_removeRange(long, NodePath, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

NodePath_setitem(long, NodePath, int, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

NodePath_size(long, NodePath) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

O

Option - Class in uk.ac.ox.cs.fdr

Option(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Option

Option_allowedValues(long, Option) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Option_defaultValue(long, Option) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Option_description(long, Option) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Option_get(long, Option) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Option_getOption(String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Option_name(long, Option) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Option_options() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Option_set(long, Option, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Option_toString(long, Option) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

OptionList - Class in uk.ac.ox.cs.fdr

OptionList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.OptionList

OptionList() - Constructor for class uk.ac.ox.cs.fdr.OptionList

OptionList(long) - Constructor for class uk.ac.ox.cs.fdr.OptionList

OptionList(OptionList) - Constructor for class uk.ac.ox.cs.fdr.OptionList

OptionList_clear(long, OptionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

OptionList_empty(long, OptionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

OptionList_getitem(long, OptionList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

OptionList_pushBack(long, OptionList, long, Option) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

OptionList_removeRange(long, OptionList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

OptionList_setitem(long, OptionList, int, long, Option) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

OptionList_size(long, OptionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

options() - Static method in class uk.ac.ox.cs.fdr.Option

P

parseAssertion(String) - Method in class uk.ac.ox.cs.fdr.Session

passed() - Method in class uk.ac.ox.cs.fdr.Assertion

plys() - Method in class uk.ac.ox.cs.fdr.BFSRefinementProgress

PrintStatement - Class in uk.ac.ox.cs.fdr

PrintStatement(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.PrintStatement

PrintStatement() - Constructor for class uk.ac.ox.cs.fdr.PrintStatement

PrintStatement(String, String) - Constructor for class uk.ac.ox.cs.fdr.PrintStatement

PrintStatement(PrintStatement) - Constructor for class uk.ac.ox.cs.fdr.PrintStatement

PrintStatement_expression(long, PrintStatement) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PrintStatement_sourceLocation(long, PrintStatement) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PrintStatementList - Class in uk.ac.ox.cs.fdr

PrintStatementList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.PrintStatementList

PrintStatementList() - Constructor for class uk.ac.ox.cs.fdr.PrintStatementList

PrintStatementList(long) - Constructor for class uk.ac.ox.cs.fdr.PrintStatementList

PrintStatementList(PrintStatementList) - Constructor for class uk.ac.ox.cs.fdr.PrintStatementList

PrintStatementList_clear(long, PrintStatementList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PrintStatementList_empty(long, PrintStatementList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PrintStatementList_getitem(long, PrintStatementList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PrintStatementList_pushBack(long, PrintStatementList, long, PrintStatement) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PrintStatementList_removeRange(long, PrintStatementList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PrintStatementList_setitem(long, PrintStatementList, int, long, PrintStatement) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PrintStatementList_size(long, PrintStatementList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

printStatements() - Method in class uk.ac.ox.cs.fdr.Session

priorSections() - Method in class uk.ac.ox.cs.fdr.SegmentedBehaviour

ProcessName - Class in uk.ac.ox.cs.fdr

ProcessName(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.ProcessName

ProcessName_equals(long, ProcessName, long, ProcessName) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProcessName_hashCode(long, ProcessName) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProcessName_toString(long, ProcessName) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

progress() - Method in class uk.ac.ox.cs.fdr.Assertion

Progress - Class in uk.ac.ox.cs.fdr

Progress(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Progress

ProgressReporter - Class in uk.ac.ox.cs.fdr

ProgressReporter(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.ProgressReporter

ProgressReporter() - Constructor for class uk.ac.ox.cs.fdr.ProgressReporter

ProgressReporter_activate(long, ProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_activateSwigExplicitProgressReporter(long, ProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_change_ownership(ProgressReporter, long, boolean) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_deactivate(long, ProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_deactivateSwigExplicitProgressReporter(long, ProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_director_connect(ProgressReporter, long, boolean, boolean) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_INVALIDTASK_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_taskFinished(long, ProgressReporter, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_taskFinishedSwigExplicitProgressReporter(long, ProgressReporter, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_taskMessageOutput(long, ProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_taskMessageOutputSwigExplicitProgressReporter(long, ProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_taskStarted(long, ProgressReporter, long, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_taskStartedSwigExplicitProgressReporter(long, ProgressReporter, long, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_taskStatusUpdated(long, ProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

ProgressReporter_taskStatusUpdatedSwigExplicitProgressReporter(long, ProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PropertyAssertion - Class in uk.ac.ox.cs.fdr

PropertyAssertion(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.PropertyAssertion

PropertyAssertion_machine(long, PropertyAssertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PropertyAssertion_semanticModel(long, PropertyAssertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PropertyAssertion_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PropertyCounterexample - Class in uk.ac.ox.cs.fdr

PropertyCounterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.PropertyCounterexample

PropertyCounterexample_behaviour(long, PropertyCounterexample) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

PropertyCounterexample_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

R

RefinementAssertion - Class in uk.ac.ox.cs.fdr

RefinementAssertion(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.RefinementAssertion

RefinementAssertion(Session, Machine, SemanticModel, Machine) - Constructor for class uk.ac.ox.cs.fdr.RefinementAssertion

RefinementAssertion_implementation(long, RefinementAssertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

RefinementAssertion_model(long, RefinementAssertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

RefinementAssertion_specification(long, RefinementAssertion) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

RefinementAssertion_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

RefinementCounterexample - Class in uk.ac.ox.cs.fdr

RefinementCounterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.RefinementCounterexample

RefinementCounterexample_implementationBehaviour(long, RefinementCounterexample) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

RefinementCounterexample_specificationBehaviour(long, RefinementCounterexample) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

RefinementCounterexample_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

RefinementDivergenceCounterexample - Class in uk.ac.ox.cs.fdr

RefinementDivergenceCounterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.RefinementDivergenceCounterexample

RefinementDivergenceCounterexample(Behaviour, Behaviour) - Constructor for class uk.ac.ox.cs.fdr.RefinementDivergenceCounterexample

RefinementDivergenceCounterexample_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Refusals - Static variable in class uk.ac.ox.cs.fdr.SemanticModel

RefusalsDivergences - Static variable in class uk.ac.ox.cs.fdr.SemanticModel

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.AcceptanceList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.AssertionList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.BehaviourList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.CompiledEventList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.CounterexampleList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.EventList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.NodePath

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.OptionList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.PrintStatementList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.StringList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

removeRange(int, int) - Method in class uk.ac.ox.cs.fdr.TransitionList

result() - Method in class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

result() - Method in class uk.ac.ox.cs.fdr.MachineEvaluatorResult

result() - Method in class uk.ac.ox.cs.fdr.StringEvaluatorResult

revealTau(Behaviour, long) - Method in class uk.ac.ox.cs.fdr.DebugContext

revealTausInTrace(Behaviour) - Method in class uk.ac.ox.cs.fdr.DebugContext

Revivals - Static variable in class uk.ac.ox.cs.fdr.SemanticModel

RevivalsDivergences - Static variable in class uk.ac.ox.cs.fdr.SemanticModel

rootBehaviours() - Method in class uk.ac.ox.cs.fdr.DebugContext

rootNode() - Method in class uk.ac.ox.cs.fdr.Machine

rootTaskId() - Method in class uk.ac.ox.cs.fdr.Assertion

rootTaskId() - Method in class uk.ac.ox.cs.fdr.DebugContext

S

SegmentedBehaviour - Class in uk.ac.ox.cs.fdr

SegmentedBehaviour(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.SegmentedBehaviour

SegmentedBehaviour(Machine, NodePath, CompiledEventList, Behaviour, TraceBehaviourList) - Constructor for class uk.ac.ox.cs.fdr.SegmentedBehaviour

SegmentedBehaviour_last(long, SegmentedBehaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SegmentedBehaviour_priorSections(long, SegmentedBehaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SegmentedBehaviour_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

semanticModel() - Method in class uk.ac.ox.cs.fdr.PropertyAssertion

SemanticModel - Class in uk.ac.ox.cs.fdr

SemanticModel_Default_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SemanticModel_Failures_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SemanticModel_FailuresDivergences_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SemanticModel_Refusals_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SemanticModel_RefusalsDivergences_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SemanticModel_Revivals_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SemanticModel_RevivalsDivergences_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SemanticModel_Traces_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session - Class in uk.ac.ox.cs.fdr

Session(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Session

Session() - Constructor for class uk.ac.ox.cs.fdr.Session

Session_assertions(long, Session) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_compileEvent(long, Session, long, Event) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_evaluateExpression(long, Session, String, long, Canceller) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_evaluateProcess(long, Session, String, int, long, Canceller) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_loadFile(long, Session, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_loadStringsAsFile(long, Session, String, long, StringStringMap) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_machineName(long, Session, long, Machine) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_machineNodeName(long, Session, long, Machine, long, Node) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_parseAssertion(long, Session, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_printStatements(long, Session) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_uncompileEvent(long, Session, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Session_uncompileEvents(long, Session, long, CompiledEventList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

set(int, CompiledEventList) - Method in class uk.ac.ox.cs.fdr.AcceptanceList

set(int, Assertion) - Method in class uk.ac.ox.cs.fdr.AssertionList

set(int, Behaviour) - Method in class uk.ac.ox.cs.fdr.BehaviourList

set(int, Long) - Method in class uk.ac.ox.cs.fdr.CompiledEventList

set(int, Counterexample) - Method in class uk.ac.ox.cs.fdr.CounterexampleList

set(int, Event) - Method in class uk.ac.ox.cs.fdr.EventList

set(int, Node) - Method in class uk.ac.ox.cs.fdr.NodePath

set(String) - Method in class uk.ac.ox.cs.fdr.Option

set(int, Option) - Method in class uk.ac.ox.cs.fdr.OptionList

set(int, PrintStatement) - Method in class uk.ac.ox.cs.fdr.PrintStatementList

set(int, String) - Method in class uk.ac.ox.cs.fdr.StringList

set(String, String) - Method in class uk.ac.ox.cs.fdr.StringStringMap

set(int, TraceBehaviour) - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

set(int, Transition) - Method in class uk.ac.ox.cs.fdr.TransitionList

size() - Method in class uk.ac.ox.cs.fdr.AcceptanceList

size() - Method in class uk.ac.ox.cs.fdr.AssertionList

size() - Method in class uk.ac.ox.cs.fdr.BehaviourList

size() - Method in class uk.ac.ox.cs.fdr.CompiledEventList

size() - Method in class uk.ac.ox.cs.fdr.CounterexampleList

size() - Method in class uk.ac.ox.cs.fdr.EventList

size() - Method in class uk.ac.ox.cs.fdr.NodePath

size() - Method in class uk.ac.ox.cs.fdr.OptionList

size() - Method in class uk.ac.ox.cs.fdr.PrintStatementList

size() - Method in class uk.ac.ox.cs.fdr.StringList

size() - Method in class uk.ac.ox.cs.fdr.StringStringMap

size() - Method in class uk.ac.ox.cs.fdr.TraceBehaviourList

size() - Method in class uk.ac.ox.cs.fdr.TransitionList

sourceLocation() - Method in class uk.ac.ox.cs.fdr.PrintStatement

specification() - Method in class uk.ac.ox.cs.fdr.RefinementAssertion

specificationBehaviour() - Method in class uk.ac.ox.cs.fdr.RefinementCounterexample

statePairsCount() - Method in class uk.ac.ox.cs.fdr.BFSRefinementProgress

StdErr - Static variable in class uk.ac.ox.cs.fdr.StreamProgressReporter.StreamIdentifier

StdOut - Static variable in class uk.ac.ox.cs.fdr.StreamProgressReporter.StreamIdentifier

StreamProgressReporter - Class in uk.ac.ox.cs.fdr

StreamProgressReporter(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.StreamProgressReporter

StreamProgressReporter(StreamProgressReporter.StreamIdentifier) - Constructor for class uk.ac.ox.cs.fdr.StreamProgressReporter

StreamProgressReporter.StreamIdentifier - Class in uk.ac.ox.cs.fdr

StreamProgressReporter_activate(long, StreamProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StreamProgressReporter_deactivate(long, StreamProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StreamProgressReporter_SWIGUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StreamProgressReporter_taskFinished(long, StreamProgressReporter, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StreamProgressReporter_taskMessageOutput(long, StreamProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StreamProgressReporter_taskStarted(long, StreamProgressReporter, long, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StreamProgressReporter_taskStatusUpdated(long, StreamProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringEvaluatorResult - Class in uk.ac.ox.cs.fdr

StringEvaluatorResult(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.StringEvaluatorResult

StringEvaluatorResult(StringList, String) - Constructor for class uk.ac.ox.cs.fdr.StringEvaluatorResult

StringEvaluatorResult(StringEvaluatorResult) - Constructor for class uk.ac.ox.cs.fdr.StringEvaluatorResult

StringEvaluatorResult_result(long, StringEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringEvaluatorResult_warnings(long, StringEvaluatorResult) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringList - Class in uk.ac.ox.cs.fdr

StringList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.StringList

StringList() - Constructor for class uk.ac.ox.cs.fdr.StringList

StringList(long) - Constructor for class uk.ac.ox.cs.fdr.StringList

StringList(StringList) - Constructor for class uk.ac.ox.cs.fdr.StringList

StringList_clear(long, StringList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringList_empty(long, StringList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringList_getitem(long, StringList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringList_pushBack(long, StringList, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringList_removeRange(long, StringList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringList_setitem(long, StringList, int, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringList_size(long, StringList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringStringMap - Class in uk.ac.ox.cs.fdr

StringStringMap(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.StringStringMap

StringStringMap() - Constructor for class uk.ac.ox.cs.fdr.StringStringMap

StringStringMap(Map<String, String>) - Constructor for class uk.ac.ox.cs.fdr.StringStringMap

StringStringMap_clear(long, StringStringMap) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringStringMap_del(long, StringStringMap, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringStringMap_empty(long, StringStringMap) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringStringMap_get(long, StringStringMap, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringStringMap_hasKey(long, StringStringMap, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringStringMap_set(long, StringStringMap, String, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

StringStringMap_size(long, StringStringMap) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.AcceptanceList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.AssertionList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.BehaviourList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.Canceller

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.CompiledEventList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.CounterexampleList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.DebugContext

swigCMemOwn - Variable in exception uk.ac.ox.cs.fdr.Error

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.EventList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.MachineEvaluatorResult

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.NodePath

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.OptionList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.PrintStatement

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.PrintStatementList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.ProgressReporter

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.StringEvaluatorResult

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.StringList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.StringStringMap

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.TraceBehaviourList

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.Transition

swigCMemOwn - Variable in class uk.ac.ox.cs.fdr.TransitionList

SwigDirector_ProgressReporter_activate(ProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SwigDirector_ProgressReporter_deactivate(ProgressReporter) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SwigDirector_ProgressReporter_taskFinished(ProgressReporter, long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SwigDirector_ProgressReporter_taskMessageOutput(ProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SwigDirector_ProgressReporter_taskStarted(ProgressReporter, long, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

SwigDirector_ProgressReporter_taskStatusUpdated(ProgressReporter, long, String) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

swigDirectorDisconnect() - Method in class uk.ac.ox.cs.fdr.ProgressReporter

swigReleaseOwnership() - Method in class uk.ac.ox.cs.fdr.ProgressReporter

swigTakeOwnership() - Method in class uk.ac.ox.cs.fdr.ProgressReporter

swigToEnum(int) - Static method in class uk.ac.ox.cs.fdr.SemanticModel

swigToEnum(int) - Static method in class uk.ac.ox.cs.fdr.StreamProgressReporter.StreamIdentifier

swigValue() - Method in class uk.ac.ox.cs.fdr.SemanticModel

swigValue() - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter.StreamIdentifier

T

taskFinished(long) - Method in class uk.ac.ox.cs.fdr.FileProgressReporter

taskFinished(long) - Method in class uk.ac.ox.cs.fdr.ProgressReporter

taskFinished(long) - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter

taskMessageOutput(long, String) - Method in class uk.ac.ox.cs.fdr.FileProgressReporter

taskMessageOutput(long, String) - Method in class uk.ac.ox.cs.fdr.ProgressReporter

taskMessageOutput(long, String) - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter

taskStarted(long, long, String) - Method in class uk.ac.ox.cs.fdr.FileProgressReporter

taskStarted(long, long, String) - Method in class uk.ac.ox.cs.fdr.ProgressReporter

taskStarted(long, long, String) - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter

taskStatusUpdated(long, String) - Method in class uk.ac.ox.cs.fdr.FileProgressReporter

taskStatusUpdated(long, String) - Method in class uk.ac.ox.cs.fdr.ProgressReporter

taskStatusUpdated(long, String) - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter

TAU - Static variable in interface uk.ac.ox.cs.fdr.fdrConstants

TAU_get() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

toString() - Method in class uk.ac.ox.cs.fdr.Assertion

toString() - Method in exception uk.ac.ox.cs.fdr.Error

toString() - Method in class uk.ac.ox.cs.fdr.Event

toString() - Method in class uk.ac.ox.cs.fdr.Option

toString() - Method in class uk.ac.ox.cs.fdr.ProcessName

toString() - Method in class uk.ac.ox.cs.fdr.SemanticModel

toString() - Method in class uk.ac.ox.cs.fdr.StreamProgressReporter.StreamIdentifier

trace() - Method in class uk.ac.ox.cs.fdr.Behaviour

TraceBehaviour - Class in uk.ac.ox.cs.fdr

TraceBehaviour(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.TraceBehaviour

TraceBehaviour(Machine, NodePath, CompiledEventList, long) - Constructor for class uk.ac.ox.cs.fdr.TraceBehaviour

TraceBehaviour_errorEvent(long, TraceBehaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceBehaviour_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceBehaviourList - Class in uk.ac.ox.cs.fdr

TraceBehaviourList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.TraceBehaviourList

TraceBehaviourList() - Constructor for class uk.ac.ox.cs.fdr.TraceBehaviourList

TraceBehaviourList(long) - Constructor for class uk.ac.ox.cs.fdr.TraceBehaviourList

TraceBehaviourList(TraceBehaviourList) - Constructor for class uk.ac.ox.cs.fdr.TraceBehaviourList

TraceBehaviourList_clear(long, TraceBehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceBehaviourList_empty(long, TraceBehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceBehaviourList_getitem(long, TraceBehaviourList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceBehaviourList_pushBack(long, TraceBehaviourList, long, TraceBehaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceBehaviourList_removeRange(long, TraceBehaviourList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceBehaviourList_setitem(long, TraceBehaviourList, int, long, TraceBehaviour) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceBehaviourList_size(long, TraceBehaviourList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceCounterexample - Class in uk.ac.ox.cs.fdr

TraceCounterexample(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.TraceCounterexample

TraceCounterexample(Behaviour, Behaviour) - Constructor for class uk.ac.ox.cs.fdr.TraceCounterexample

TraceCounterexample_errorEvent(long, TraceCounterexample) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TraceCounterexample_SWIGSmartPtrUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Traces - Static variable in class uk.ac.ox.cs.fdr.SemanticModel

Transition - Class in uk.ac.ox.cs.fdr

Transition(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.Transition

Transition() - Constructor for class uk.ac.ox.cs.fdr.Transition

Transition(long, Node) - Constructor for class uk.ac.ox.cs.fdr.Transition

Transition_destination(long, Transition) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

Transition_event(long, Transition) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

transitionCount() - Method in class uk.ac.ox.cs.fdr.BFSRefinementProgress

TransitionList - Class in uk.ac.ox.cs.fdr

TransitionList(long, boolean) - Constructor for class uk.ac.ox.cs.fdr.TransitionList

TransitionList() - Constructor for class uk.ac.ox.cs.fdr.TransitionList

TransitionList(long) - Constructor for class uk.ac.ox.cs.fdr.TransitionList

TransitionList(TransitionList) - Constructor for class uk.ac.ox.cs.fdr.TransitionList

TransitionList_clear(long, TransitionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TransitionList_empty(long, TransitionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TransitionList_getitem(long, TransitionList, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TransitionList_pushBack(long, TransitionList, long, Transition) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TransitionList_removeRange(long, TransitionList, int, int) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TransitionList_setitem(long, TransitionList, int, long, Transition) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

TransitionList_size(long, TransitionList) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

transitions(Node) - Method in class uk.ac.ox.cs.fdr.Machine

U

uk.ac.ox.cs.fdr - package uk.ac.ox.cs.fdr

uncompileEvent(long) - Method in class uk.ac.ox.cs.fdr.Session

uncompileEvents(CompiledEventList) - Method in class uk.ac.ox.cs.fdr.Session

UnknownOptionError - Exception in uk.ac.ox.cs.fdr

UnknownOptionError(long, boolean) - Constructor for exception uk.ac.ox.cs.fdr.UnknownOptionError

UnknownOptionError(String) - Constructor for exception uk.ac.ox.cs.fdr.UnknownOptionError

UnknownOptionError_SWIGUpcast(long) - Static method in class uk.ac.ox.cs.fdr.fdrJNI

V

version() - Static method in class uk.ac.ox.cs.fdr.fdr

version() - Static method in class uk.ac.ox.cs.fdr.fdrJNI

W

warnings() - Method in class uk.ac.ox.cs.fdr.AssertionEvaluatorResult

warnings() - Method in class uk.ac.ox.cs.fdr.MachineEvaluatorResult

warnings() - Method in class uk.ac.ox.cs.fdr.StringEvaluatorResult

A B C D E F G H I L M N O P R S T U V W