uk.ac.ox.cs.fdr

Class Behaviour

java.lang.Object

uk.ac.ox.cs.fdr.Behaviour

Direct Known Subclasses:

ExplicitDivergenceBehaviour, IrrelevantBehaviour, LoopBehaviour, MinAcceptanceBehaviour, SegmentedBehaviour, TraceBehaviour

public class Behaviour
extends java.lang.Object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Behaviour(long cPtr, boolean cMemoryOwn)

Method Summary

Modifier and Type	Method and Description
void	delete()
protected void	finalize()
protected static long	getCPtr(Behaviour obj)
Machine	machine()
NodePath	nodePath()
CompiledEventList	trace()

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Behaviour

protected Behaviour(long cPtr,
                    boolean cMemoryOwn)

Method Detail

getCPtr

protected static long getCPtr(Behaviour obj)

finalize

protected void finalize()

Overrides:

finalize in class java.lang.Object

delete

public void delete()

machine

public Machine machine()

nodePath

public NodePath nodePath()

trace

public CompiledEventList trace()