uk.ac.ox.cs.fdr

Class MinAcceptanceBehaviour

java.lang.Object

uk.ac.ox.cs.fdr.Behaviour

uk.ac.ox.cs.fdr.MinAcceptanceBehaviour

public class MinAcceptanceBehaviour
extends Behaviour

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	MinAcceptanceBehaviour(long cPtr, boolean cMemoryOwn)
	MinAcceptanceBehaviour(Machine machine, NodePath node_path, CompiledEventList trace, CompiledEventList min_acceptance)

Method Summary

Modifier and Type	Method and Description
void	delete()
protected void	finalize()
protected static long	getCPtr(MinAcceptanceBehaviour obj)
CompiledEventList	minAcceptance()

Methods inherited from class uk.ac.ox.cs.fdr.Behaviour

getCPtr, machine, nodePath, trace

Methods inherited from class java.lang.Object

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

Constructor Detail

MinAcceptanceBehaviour

protected MinAcceptanceBehaviour(long cPtr,
                                 boolean cMemoryOwn)

MinAcceptanceBehaviour

public MinAcceptanceBehaviour(Machine machine,
                              NodePath node_path,
                              CompiledEventList trace,
                              CompiledEventList min_acceptance)

Method Detail

getCPtr

protected static long getCPtr(MinAcceptanceBehaviour obj)

finalize

protected void finalize()

Overrides:

finalize in class Behaviour

delete

public void delete()

Overrides:

delete in class Behaviour

minAcceptance

public CompiledEventList minAcceptance()