ptolemy.domains.modal.kernel.ia
Class InterfaceAutomaton.Triple

java.lang.Object
  ptolemy.domains.modal.kernel.ia.InterfaceAutomaton.Triple

Enclosing class:

InterfaceAutomaton

private static class InterfaceAutomaton.Triple
extends java.lang.Object

Field Summary

private State	_stateInArgument
private State	_stateInProduct
private State	_stateInThis

Constructor Summary

private

InterfaceAutomaton.Triple(State stateInProduct, State stateInThis, State stateInArgument)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

_stateInProduct

private State _stateInProduct

_stateInThis

private State _stateInThis

_stateInArgument

private State _stateInArgument

Constructor Detail

InterfaceAutomaton.Triple

private InterfaceAutomaton.Triple(State stateInProduct,
                                  State stateInThis,
                                  State stateInArgument)