org.symcomp.openmath.popcorn
Class PopcornHelper

java.lang.Object
  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)