coins.opt
Class GlobalReform.OptInf

java.lang.Object
  coins.opt.GlobalReform.OptInf

Enclosing class:

GlobalReform

protected class GlobalReform.OptInf

extends java.lang.Object

OptInf is used to represent an object instanciated for each pattern and nonterminal. It keeps index number for patterns and nonterminals.

Field Summary

int

fIndex

Constructor Summary

protected

GlobalReform.OptInf()

Methods inherited from class java.lang.Object

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

Field Detail

fIndex

public int fIndex

Constructor Detail

GlobalReform.OptInf

protected GlobalReform.OptInf()