edu.isi.powerloom.extensions.timepoint
Class Timepoint
java.lang.Object
edu.isi.powerloom.extensions.timepoint.Timepoint
public class Timepoint
- extends java.lang.Object
Method Summary |
static boolean |
canBindAllP(Cons plObjects,
Cons values)
|
static LogicObject |
dowKeywordToInstance(Keyword dow)
|
static void |
durationOfEvaluator(Proposition self)
|
static Keyword |
durationOfSpecialist(ControlFrame frame,
Keyword lastmove)
|
static DateTimeLogicWrapper |
helpGetCalendarTime(Stella_Object item)
|
static double |
helpGetFloat(Stella_Object obj)
|
static int |
helpGetInteger(Stella_Object obj)
|
static DateTimeLogicWrapper |
helpGetTimeDuration(Stella_Object item)
|
static DateTimeLogicWrapper |
helpGetTimeObject(Stella_Object item)
|
static double |
helpGetTimezone(Stella_Object obj)
|
static double |
helpGetTimeZone(Stella_Object timeZoneSpecifier)
|
static Stella_Object |
timeAddConstraint(IntegerWrapper missingArgument,
DateTimeLogicWrapper x1,
DateTimeLogicWrapper x2,
DateTimeLogicWrapper x3)
|
static void |
timeAddEvaluator(Proposition self)
|
static Stella_Object |
timeMinusConstraint(IntegerWrapper missingArgument,
DateTimeLogicWrapper x1,
DateTimeLogicWrapper x2,
DateTimeLogicWrapper x3)
|
static void |
timeMinusEvaluator(Proposition self)
|
static Keyword |
timepointAccessorSpecialist(ControlFrame frame,
Keyword lastmove)
|
static void |
timepointOf$Evaluator(Proposition self)
|
static Keyword |
timepointOf$Specialist(ControlFrame frame,
Keyword lastmove)
|
static void |
timepointOfEvaluator(Proposition self)
|
static Keyword |
timepointOfSpecialist(ControlFrame frame,
Keyword lastmove)
|
static DateTimeLogicWrapper |
wrapDateTime(DateTimeObject 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 |
$DATE_TIME_HASH_TABLE$
public static StellaHashTable $DATE_TIME_HASH_TABLE$
- Table for interning date-time logic wrappers
SGT_TIMEPOINT_KB_TIMEPOINT_OF
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_OF
SGT_TIMEPOINT_KB_DURATION_OF
public static Surrogate SGT_TIMEPOINT_KB_DURATION_OF
KWD_MONDAY
public static Keyword KWD_MONDAY
SGT_TIMEPOINT_KB_MONDAY
public static Surrogate SGT_TIMEPOINT_KB_MONDAY
KWD_TUESDAY
public static Keyword KWD_TUESDAY
SGT_TIMEPOINT_KB_TUESDAY
public static Surrogate SGT_TIMEPOINT_KB_TUESDAY
KWD_WEDNESDAY
public static Keyword KWD_WEDNESDAY
SGT_TIMEPOINT_KB_WEDNESDAY
public static Surrogate SGT_TIMEPOINT_KB_WEDNESDAY
KWD_THURSDAY
public static Keyword KWD_THURSDAY
SGT_TIMEPOINT_KB_THURSDAY
public static Surrogate SGT_TIMEPOINT_KB_THURSDAY
KWD_FRIDAY
public static Keyword KWD_FRIDAY
SGT_TIMEPOINT_KB_FRIDAY
public static Surrogate SGT_TIMEPOINT_KB_FRIDAY
KWD_SATURDAY
public static Keyword KWD_SATURDAY
SGT_TIMEPOINT_KB_SATURDAY
public static Surrogate SGT_TIMEPOINT_KB_SATURDAY
KWD_SUNDAY
public static Keyword KWD_SUNDAY
SGT_TIMEPOINT_KB_SUNDAY
public static Surrogate SGT_TIMEPOINT_KB_SUNDAY
SGT_TIMEPOINT_KB_TIMEPOINT_YEAR
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_YEAR
SGT_TIMEPOINT_KB_TIMEPOINT_MONTH
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_MONTH
SGT_TIMEPOINT_KB_TIMEPOINT_DAY
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_DAY
SGT_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK
SGT_TIMEPOINT_KB_TIMEPOINT_HOUR
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_HOUR
SGT_TIMEPOINT_KB_TIMEPOINT_MINUTE
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_MINUTE
SGT_TIMEPOINT_KB_TIMEPOINT_SECOND
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_SECOND
SGT_TIMEPOINT_KB_TIMEPOINT_DATE
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_DATE
SGT_TIMEPOINT_KB_TIMEPOINT_TIME
public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_TIME
SGT_STELLA_STRING_WRAPPER
public static Surrogate SGT_STELLA_STRING_WRAPPER
SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_SUPPORT
public static Symbol SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_SUPPORT
SYM_TIMEPOINT_KB_TIMEPOINT
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT
SYM_TIMEPOINT_KB_DAY_OF_WEEK
public static Symbol SYM_TIMEPOINT_KB_DAY_OF_WEEK
SYM_TIMEPOINT_KB_TIMEPOINT_OF
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_OF
SYM_TIMEPOINT_SUPPORT_pTP
public static Symbol SYM_TIMEPOINT_SUPPORT_pTP
SYM_TIMEPOINT_KB_DURATION_OF
public static Symbol SYM_TIMEPOINT_KB_DURATION_OF
SYM_TIMEPOINT_KB_TIME_
public static Symbol SYM_TIMEPOINT_KB_TIME_
SYM_TIMEPOINT_KB_TIMEi
public static Symbol SYM_TIMEPOINT_KB_TIMEi
SYM_TIMEPOINT_KB_TIMEPOINT_YEAR
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_YEAR
SYM_TIMEPOINT_KB_TIMEPOINT_MONTH
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_MONTH
SYM_TIMEPOINT_KB_TIMEPOINT_DAY
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DAY
SYM_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK
SYM_TIMEPOINT_KB_TIMEPOINT_HOUR
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_HOUR
SYM_TIMEPOINT_KB_TIMEPOINT_MINUTE
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_MINUTE
SYM_TIMEPOINT_KB_TIMEPOINT_SECOND
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_SECOND
SYM_TIMEPOINT_KB_TIMEPOINT_DATE
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DATE
SYM_TIMEPOINT_KB_TIMEPOINT_TIME
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_TIME
SYM_TIMEPOINT_KB_TIMEPOINT_OF$
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_OF$
SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_KB
public static Symbol SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_KB
Timepoint
public Timepoint()
wrapDateTime
public static DateTimeLogicWrapper wrapDateTime(DateTimeObject value)
- Return an interned LOGIC-WRAPPER for
value
. This assures us
that all logic-wrapped DATE-TIME-OBJECTs are the same object.
- Parameters:
value
-
- Returns:
- DateTimeLogicWrapper
helpGetCalendarTime
public static DateTimeLogicWrapper helpGetCalendarTime(Stella_Object item)
helpGetTimeDuration
public static DateTimeLogicWrapper helpGetTimeDuration(Stella_Object item)
helpGetTimeObject
public static DateTimeLogicWrapper helpGetTimeObject(Stella_Object item)
helpGetInteger
public static int helpGetInteger(Stella_Object obj)
helpGetFloat
public static double helpGetFloat(Stella_Object obj)
helpGetTimezone
public static double helpGetTimezone(Stella_Object obj)
canBindAllP
public static boolean canBindAllP(Cons plObjects,
Cons values)
timepointOfEvaluator
public static void timepointOfEvaluator(Proposition self)
timepointOfSpecialist
public static Keyword timepointOfSpecialist(ControlFrame frame,
Keyword lastmove)
timepointOf$Evaluator
public static void timepointOf$Evaluator(Proposition self)
timepointOf$Specialist
public static Keyword timepointOf$Specialist(ControlFrame frame,
Keyword lastmove)
durationOfEvaluator
public static void durationOfEvaluator(Proposition self)
durationOfSpecialist
public static Keyword durationOfSpecialist(ControlFrame frame,
Keyword lastmove)
timeMinusEvaluator
public static void timeMinusEvaluator(Proposition self)
timeAddEvaluator
public static void timeAddEvaluator(Proposition self)
timeMinusConstraint
public static Stella_Object timeMinusConstraint(IntegerWrapper missingArgument,
DateTimeLogicWrapper x1,
DateTimeLogicWrapper x2,
DateTimeLogicWrapper x3)
timeAddConstraint
public static Stella_Object timeAddConstraint(IntegerWrapper missingArgument,
DateTimeLogicWrapper x1,
DateTimeLogicWrapper x2,
DateTimeLogicWrapper x3)
helpGetTimeZone
public static double helpGetTimeZone(Stella_Object timeZoneSpecifier)
dowKeywordToInstance
public static LogicObject dowKeywordToInstance(Keyword dow)
timepointAccessorSpecialist
public static Keyword timepointAccessorSpecialist(ControlFrame frame,
Keyword lastmove)