toolbus
Class AbstractTool.OperationTermPair

java.lang.Object
  toolbus.AbstractTool.OperationTermPair

Enclosing class:

AbstractTool

private class AbstractTool.OperationTermPair
extends java.lang.Object

Field Summary

aterm.ATerm	aTerm
byte	operation

Constructor Summary

private

AbstractTool.OperationTermPair()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

operation

public byte operation

aTerm

public aterm.ATerm aTerm

Constructor Detail

AbstractTool.OperationTermPair

private AbstractTool.OperationTermPair()