edu.isi.powerloom.extensions.units
Class Units

java.lang.Object
  edu.isi.powerloom.extensions.units.Units

public class Units
extends java.lang.Object

Field Summary

static StellaHashTable	$DIM_NUMBER_HASH_TABLE$ Table for interning dim number logic wrappers
static HashTable	$INSTANCE_MEASURE_TABLE$ Mapping table from PowerLoom representations of measures to measure objects
static HashTable	$MEASURE_INSTANCE_TABLE$ Mapping table from measure objects to their PowerLoom representation.
static Keyword	KWD__g
static Keyword	KWD_AXIOMS
static Keyword	KWD_CONTINUING_SUCCESS
static Keyword	KWD_DOCUMENTATION
static Keyword	KWD_eg
static Keyword	KWD_FAILURE
static Keyword	KWD_FINAL_SUCCESS
static Keyword	KWD_le
static Keyword	KWD_TERMINAL_FAILURE
static Surrogate	SGT_LOGIC_LOGIC_OBJECT
static Surrogate	SGT_LOGIC_PATTERN_VARIABLE
static Surrogate	SGT_LOGIC_SKOLEM
static Surrogate	SGT_STELLA_CALENDAR_DATE
static Surrogate	SGT_STELLA_CS_VALUE
static Surrogate	SGT_STELLA_INTEGER_WRAPPER
static Surrogate	SGT_STELLA_NUMBER_WRAPPER
static Surrogate	SGT_STELLA_TIME_DURATION
static Surrogate	SGT_TIMEPOINT_SUPPORT_DATE_TIME_LOGIC_WRAPPER
static Surrogate	SGT_UNIT_KB_DENOMINATOR_MEASURES
static Surrogate	SGT_UNIT_KB_NUMERATOR_MEASURES
static Surrogate	SGT_UNIT_KB_UNITS
static Surrogate	SGT_UNIT_SUPPORT_DIM_NUMBER_LOGIC_WRAPPER
static Symbol	SYM_LOGIC_pZ
static Symbol	SYM_STELLA_ITERATOR
static Symbol	SYM_STELLA_WRAPPER_VALUE
static Symbol	SYM_UNIT_KB_BASE_MEASURE
static Symbol	SYM_UNIT_KB_COMENSURATE_UNITS
static Symbol	SYM_UNIT_KB_DENOMINATOR_MEASURES
static Symbol	SYM_UNIT_KB_MEASURE
static Symbol	SYM_UNIT_KB_MEASURE_UNIT
static Symbol	SYM_UNIT_KB_NUMERATOR_MEASURES
static Symbol	SYM_UNIT_KB_U_
static Symbol	SYM_UNIT_KB_U_ABS
static Symbol	SYM_UNIT_KB_U_DIV
static Symbol	SYM_UNIT_KB_U_MAXIMUM_VALUE
static Symbol	SYM_UNIT_KB_U_MINIMUM_VALUE
static Symbol	SYM_UNIT_KB_U_SIGNUM
static Symbol	SYM_UNIT_KB_U_SUM
static Symbol	SYM_UNIT_KB_U_WITHIN_DELTA
static Symbol	SYM_UNIT_KB_U_WITHIN_FACTOR
static Symbol	SYM_UNIT_KB_U$
static Symbol	SYM_UNIT_KB_Ui
static Symbol	SYM_UNIT_KB_UNITS
static Symbol	SYM_UNIT_KB_VALUE_MEASURE
static Symbol	SYM_UNIT_SUPPORT_pDIM
static Symbol	SYM_UNIT_SUPPORT_STARTUP_UNIT_KB
static Symbol	SYM_UNIT_SUPPORT_STARTUP_UNIT_SUPPORT

Constructor Summary

Units()

Method Summary

static boolean	argumentMatchesListHelperP(Stella_Object argument, List theList)
static Keyword	comensurateUnitsSpecialist(ControlFrame frame, Keyword lastmove)
static Ratio	getObjectPid(Stella_Object obj)
static DimNumberLogicWrapper	helpGetDimNumber(Stella_Object item)
static DimNumberLogicWrapper	helpGetUnitValue(Stella_Object magnitude, Stella_Object units)
static void	initializeMeasureConcepts()
static Keyword	integerToMeasuresHelper(ControlFrame frame, Keyword lastmove, int code)
static Keyword	maximumOfUnitsSpecialist(ControlFrame frame, Keyword lastmove)
static Keyword	minimumOfUnitsSpecialist(ControlFrame frame, Keyword lastmove)
static Keyword	sumOfUnitsSpecialist(ControlFrame frame, Keyword lastmove)
static Keyword	uAbsSpecialist(ControlFrame frame, Keyword lastmove)
static Keyword	uBaseMeasuresSpecialist(ControlFrame frame, Keyword lastmove)
static Stella_Object	uDivideConstraint(IntegerWrapper missingArgument, DimNumberLogicWrapper x1, DimNumberLogicWrapper x2, DimNumberLogicWrapper x3)
static Stella_Object	uMinusConstraint(IntegerWrapper missingArgument, DimNumberLogicWrapper x1, DimNumberLogicWrapper x2, DimNumberLogicWrapper x3)
static void	unitsEvaluator(Proposition self)
static Keyword	unitsSpecialist(ControlFrame frame, Keyword lastmove)
static Stella_Object	uPlusConstraint(IntegerWrapper missingArgument, DimNumberLogicWrapper x1, DimNumberLogicWrapper x2, DimNumberLogicWrapper x3)
static Keyword	uSignumSpecialist(ControlFrame frame, Keyword lastmove)
static Stella_Object	uTimesConstraint(IntegerWrapper missingArgument, DimNumberLogicWrapper x1, DimNumberLogicWrapper x2, DimNumberLogicWrapper x3)
static Keyword	uValueMeasureSpecialist(ControlFrame frame, Keyword lastmove)
static DimNumberLogicWrapper	wrapDimNumber(DimNumber value) Return an interned LOGIC-WRAPPER for value.

Methods inherited from class java.lang.Object

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

Field Detail

$DIM_NUMBER_HASH_TABLE$

public static StellaHashTable $DIM_NUMBER_HASH_TABLE$

Table for interning dim number logic wrappers

SGT_UNIT_SUPPORT_DIM_NUMBER_LOGIC_WRAPPER

public static Surrogate SGT_UNIT_SUPPORT_DIM_NUMBER_LOGIC_WRAPPER

SYM_STELLA_WRAPPER_VALUE

public static Symbol SYM_STELLA_WRAPPER_VALUE

SGT_UNIT_KB_UNITS

public static Surrogate SGT_UNIT_KB_UNITS

SGT_TIMEPOINT_SUPPORT_DATE_TIME_LOGIC_WRAPPER

public static Surrogate SGT_TIMEPOINT_SUPPORT_DATE_TIME_LOGIC_WRAPPER

SGT_STELLA_CALENDAR_DATE

public static Surrogate SGT_STELLA_CALENDAR_DATE

SGT_STELLA_TIME_DURATION

public static Surrogate SGT_STELLA_TIME_DURATION

SGT_LOGIC_PATTERN_VARIABLE

public static Surrogate SGT_LOGIC_PATTERN_VARIABLE

SGT_LOGIC_SKOLEM

public static Surrogate SGT_LOGIC_SKOLEM

SGT_STELLA_CS_VALUE

public static Surrogate SGT_STELLA_CS_VALUE

KWD_FINAL_SUCCESS

public static Keyword KWD_FINAL_SUCCESS

KWD_TERMINAL_FAILURE

public static Keyword KWD_TERMINAL_FAILURE

KWD_FAILURE

public static Keyword KWD_FAILURE

SYM_STELLA_ITERATOR

public static Symbol SYM_STELLA_ITERATOR

KWD_CONTINUING_SUCCESS

public static Keyword KWD_CONTINUING_SUCCESS

SGT_STELLA_INTEGER_WRAPPER

public static Surrogate SGT_STELLA_INTEGER_WRAPPER

SGT_UNIT_KB_NUMERATOR_MEASURES

public static Surrogate SGT_UNIT_KB_NUMERATOR_MEASURES

SGT_UNIT_KB_DENOMINATOR_MEASURES

public static Surrogate SGT_UNIT_KB_DENOMINATOR_MEASURES

SGT_LOGIC_LOGIC_OBJECT

public static Surrogate SGT_LOGIC_LOGIC_OBJECT

SGT_STELLA_NUMBER_WRAPPER

public static Surrogate SGT_STELLA_NUMBER_WRAPPER

$MEASURE_INSTANCE_TABLE$

public static HashTable $MEASURE_INSTANCE_TABLE$

Mapping table from measure objects to their PowerLoom representation.

$INSTANCE_MEASURE_TABLE$

public static HashTable $INSTANCE_MEASURE_TABLE$

Mapping table from PowerLoom representations of measures to measure objects

SYM_UNIT_SUPPORT_STARTUP_UNIT_SUPPORT

public static Symbol SYM_UNIT_SUPPORT_STARTUP_UNIT_SUPPORT

SYM_UNIT_KB_MEASURE

public static Symbol SYM_UNIT_KB_MEASURE

KWD_DOCUMENTATION

public static Keyword KWD_DOCUMENTATION

SYM_UNIT_KB_BASE_MEASURE

public static Symbol SYM_UNIT_KB_BASE_MEASURE

KWD_AXIOMS

public static Keyword KWD_AXIOMS

SYM_UNIT_KB_MEASURE_UNIT

public static Symbol SYM_UNIT_KB_MEASURE_UNIT

SYM_UNIT_KB_VALUE_MEASURE

public static Symbol SYM_UNIT_KB_VALUE_MEASURE

SYM_UNIT_KB_NUMERATOR_MEASURES

public static Symbol SYM_UNIT_KB_NUMERATOR_MEASURES

SYM_UNIT_KB_DENOMINATOR_MEASURES

public static Symbol SYM_UNIT_KB_DENOMINATOR_MEASURES

SYM_UNIT_KB_COMENSURATE_UNITS

public static Symbol SYM_UNIT_KB_COMENSURATE_UNITS

SYM_UNIT_KB_UNITS

public static Symbol SYM_UNIT_KB_UNITS

KWD__g

public static Keyword KWD__g

SYM_UNIT_SUPPORT_pDIM

public static Symbol SYM_UNIT_SUPPORT_pDIM

SYM_UNIT_KB_Ui

public static Symbol SYM_UNIT_KB_Ui

SYM_LOGIC_pZ

public static Symbol SYM_LOGIC_pZ

SYM_UNIT_KB_U_

public static Symbol SYM_UNIT_KB_U_

SYM_UNIT_KB_U$

public static Symbol SYM_UNIT_KB_U$

SYM_UNIT_KB_U_DIV

public static Symbol SYM_UNIT_KB_U_DIV

SYM_UNIT_KB_U_ABS

public static Symbol SYM_UNIT_KB_U_ABS

SYM_UNIT_KB_U_SIGNUM

public static Symbol SYM_UNIT_KB_U_SIGNUM

SYM_UNIT_KB_U_WITHIN_DELTA

public static Symbol SYM_UNIT_KB_U_WITHIN_DELTA

KWD_eg

public static Keyword KWD_eg

KWD_le

public static Keyword KWD_le

SYM_UNIT_KB_U_WITHIN_FACTOR

public static Symbol SYM_UNIT_KB_U_WITHIN_FACTOR

SYM_UNIT_KB_U_MINIMUM_VALUE

public static Symbol SYM_UNIT_KB_U_MINIMUM_VALUE

SYM_UNIT_KB_U_MAXIMUM_VALUE

public static Symbol SYM_UNIT_KB_U_MAXIMUM_VALUE

SYM_UNIT_KB_U_SUM

public static Symbol SYM_UNIT_KB_U_SUM

SYM_UNIT_SUPPORT_STARTUP_UNIT_KB

public static Symbol SYM_UNIT_SUPPORT_STARTUP_UNIT_KB

Constructor Detail

Units

public Units()

Method Detail

wrapDimNumber

public static DimNumberLogicWrapper wrapDimNumber(DimNumber value)

Return an interned LOGIC-WRAPPER for value. This assures us that all logic-wrapped DIM-NUMBERs are the same object.

Parameters:

value -

Returns:

DimNumberLogicWrapper

helpGetDimNumber

public static DimNumberLogicWrapper helpGetDimNumber(Stella_Object item)

helpGetUnitValue

public static DimNumberLogicWrapper helpGetUnitValue(Stella_Object magnitude,
                                                     Stella_Object units)

unitsEvaluator

public static void unitsEvaluator(Proposition self)

unitsSpecialist

public static Keyword unitsSpecialist(ControlFrame frame,
                                      Keyword lastmove)

uPlusConstraint

public static Stella_Object uPlusConstraint(IntegerWrapper missingArgument,
                                            DimNumberLogicWrapper x1,
                                            DimNumberLogicWrapper x2,
                                            DimNumberLogicWrapper x3)

uMinusConstraint

public static Stella_Object uMinusConstraint(IntegerWrapper missingArgument,
                                             DimNumberLogicWrapper x1,
                                             DimNumberLogicWrapper x2,
                                             DimNumberLogicWrapper x3)

uTimesConstraint

public static Stella_Object uTimesConstraint(IntegerWrapper missingArgument,
                                             DimNumberLogicWrapper x1,
                                             DimNumberLogicWrapper x2,
                                             DimNumberLogicWrapper x3)

uDivideConstraint

public static Stella_Object uDivideConstraint(IntegerWrapper missingArgument,
                                              DimNumberLogicWrapper x1,
                                              DimNumberLogicWrapper x2,
                                              DimNumberLogicWrapper x3)

uAbsSpecialist

public static Keyword uAbsSpecialist(ControlFrame frame,
                                     Keyword lastmove)

uSignumSpecialist

public static Keyword uSignumSpecialist(ControlFrame frame,
                                        Keyword lastmove)

minimumOfUnitsSpecialist

public static Keyword minimumOfUnitsSpecialist(ControlFrame frame,
                                               Keyword lastmove)

maximumOfUnitsSpecialist

public static Keyword maximumOfUnitsSpecialist(ControlFrame frame,
                                               Keyword lastmove)

sumOfUnitsSpecialist

public static Keyword sumOfUnitsSpecialist(ControlFrame frame,
                                           Keyword lastmove)

uValueMeasureSpecialist

public static Keyword uValueMeasureSpecialist(ControlFrame frame,
                                              Keyword lastmove)

argumentMatchesListHelperP

public static boolean argumentMatchesListHelperP(Stella_Object argument,
                                                 List theList)

integerToMeasuresHelper

public static Keyword integerToMeasuresHelper(ControlFrame frame,
                                              Keyword lastmove,
                                              int code)

uBaseMeasuresSpecialist

public static Keyword uBaseMeasuresSpecialist(ControlFrame frame,
                                              Keyword lastmove)

getObjectPid

public static Ratio getObjectPid(Stella_Object obj)

comensurateUnitsSpecialist

public static Keyword comensurateUnitsSpecialist(ControlFrame frame,
                                                 Keyword lastmove)

initializeMeasureConcepts

public static void initializeMeasureConcepts()