org.symcomp.openmath.popcorn
Class PopcornHelper

java.lang.Object
  extended by org.symcomp.openmath.popcorn.PopcornHelper

public class PopcornHelper
extends java.lang.Object


Field Summary
static OpenMathBase typeSymbol
           
 
Constructor Summary
PopcornHelper()
           
 
Method Summary
static void addTranslation(java.lang.String s, org.symcomp.openmath.OMSymbol o)
           
static OpenMathBase apply(OpenMathBase om, java.lang.Object... params)
           
static OpenMathBase apply(java.lang.String cd, java.lang.String name, java.lang.Object... params)
           
static OpenMathBase applyFlat(java.lang.String cd, java.lang.String name, java.lang.Object oo1, java.lang.Object oo2)
           
static OpenMathBase applyUnaryMinus(java.lang.Object s)
           
static OpenMathBase bind(java.lang.Object s, java.lang.Object v, java.lang.Object e)
           
static OpenMathBase error(java.lang.Object s, java.lang.Object... params)
           
static java.lang.String fixId(java.lang.String id)
           
static OpenMathBase[] flatten(java.lang.Object o1, java.lang.Object o2)
           
static org.symcomp.openmath.OMForeign foreign(java.lang.String s)
           
static org.symcomp.openmath.OMSymbol id2symbol(java.lang.String id)
           
static OpenMathBase setAttributes(java.lang.Object o, java.lang.Object a)
           
static OpenMathBase setId(java.lang.Object o, java.lang.String id)
           
static OpenMathBase setTypedef(java.lang.Object o, java.lang.Object tp)
           
static OpenMathBase string(java.lang.Object s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

typeSymbol

public static OpenMathBase typeSymbol
Constructor Detail

PopcornHelper

public PopcornHelper()
Method Detail

addTranslation

public static void addTranslation(java.lang.String s,
                                  org.symcomp.openmath.OMSymbol o)

flatten

public static OpenMathBase[] flatten(java.lang.Object o1,
                                     java.lang.Object o2)

apply

public static OpenMathBase apply(java.lang.String cd,
                                 java.lang.String name,
                                 java.lang.Object... params)

apply

public static OpenMathBase apply(OpenMathBase om,
                                 java.lang.Object... params)

error

public static OpenMathBase error(java.lang.Object s,
                                 java.lang.Object... params)

applyFlat

public static OpenMathBase applyFlat(java.lang.String cd,
                                     java.lang.String name,
                                     java.lang.Object oo1,
                                     java.lang.Object oo2)

id2symbol

public static org.symcomp.openmath.OMSymbol id2symbol(java.lang.String id)

setAttributes

public static OpenMathBase setAttributes(java.lang.Object o,
                                         java.lang.Object a)

bind

public static OpenMathBase bind(java.lang.Object s,
                                java.lang.Object v,
                                java.lang.Object e)

foreign

public static org.symcomp.openmath.OMForeign foreign(java.lang.String s)

setId

public static OpenMathBase setId(java.lang.Object o,
                                 java.lang.String id)

setTypedef

public static OpenMathBase setTypedef(java.lang.Object o,
                                      java.lang.Object tp)

applyUnaryMinus

public static OpenMathBase applyUnaryMinus(java.lang.Object s)

string

public static OpenMathBase string(java.lang.Object s)

fixId

public static java.lang.String fixId(java.lang.String id)


Copyright © 2010. All Rights Reserved.