com.k_int.gen.DiagnosticFormatDiag1
Class term_inline56_type

java.lang.Object
  |
  +--com.k_int.gen.DiagnosticFormatDiag1.term_inline56_type

public class term_inline56_type

extends java.lang.Object

Field Summary

java.math.BigInteger	problem
Term_type	term

Constructor Summary

term_inline56_type()

Methods inherited from class java.lang.Object

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

Field Detail

problem

public java.math.BigInteger problem

term

public Term_type term

Constructor Detail

term_inline56_type

public term_inline56_type()