![]() ![]() | ![]() |
File: [local] / OpenXM / src / OpenMath / ORG / openxm / tam / CMO_ZERO.java (download)
Revision 1.2, Wed Sep 13 06:32:43 2000 UTC (23 years, 11 months ago) by tam
I changed from OpenXMconnection to OpenXMstream. |
/** * $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_ZERO.java,v 1.2 2000/09/13 06:32:43 tam Exp $ */ package ORG.openxm.tam; import java.io.*; /** * CMO $B7A<0$N(B ZERO $B7?$rI=$7$^$9(B. */ final public class CMO_ZERO extends CMO{ /** * ZERO $B$r:n@.$7$^$9(B. */ CMO_ZERO(){} public int DISCRIMINATOR(){ return CMO.ZERO; } public void sendByObject(OpenXMstream os) throws IOException{ } static protected CMO receive(OpenXMstream is) throws IOException{ return new CMO_ZERO(); } public String toCMOexpressionByObject(){ return "CMO_ZERO"; } }