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 Stella_Object |
durationOfConstraint(IntegerWrapper missingArgument,
StringWrapper x1,
DateTimeLogicWrapper x2)
|
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 |
timeMinusConstraint(IntegerWrapper missingArgument,
DateTimeLogicWrapper x1,
DateTimeLogicWrapper x2,
DateTimeLogicWrapper x3)
|
static Stella_Object |
timePlusConstraint(IntegerWrapper missingArgument,
DateTimeLogicWrapper x1,
DateTimeLogicWrapper x2,
DateTimeLogicWrapper x3)
|
static DateTimeLogicWrapper |
timepointOf$Computation(IntegerWrapper yy,
IntegerWrapper mm,
IntegerWrapper dd,
IntegerWrapper hr,
IntegerWrapper min,
NumberWrapper sec,
Stella_Object tz)
|
static void |
timepointOf$Evaluator(Proposition self)
|
static Keyword |
timepointOf$Specialist(ControlFrame frame,
Keyword lastmove)
|
static Stella_Object |
timepointOfConstraint(IntegerWrapper missingArgument,
StringWrapper x1,
DateTimeLogicWrapper x2)
|
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
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
KWD_CLOSED
public static Keyword KWD_CLOSED
SYM_STELLA_TRUE
public static Symbol SYM_STELLA_TRUE
SYM_TIMEPOINT_KB_TIMEPOINT_OF
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_OF
SYM_TIMEPOINT_SUPPORT_pTP
public static Symbol SYM_TIMEPOINT_SUPPORT_pTP
KWD_COMPUTED
public static Keyword KWD_COMPUTED
KWD_RELATION_CONSTRAINT
public static Keyword KWD_RELATION_CONSTRAINT
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF_CONSTRAINT
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF_CONSTRAINT
KWD_RELATION_SPECIALIST
public static Keyword KWD_RELATION_SPECIALIST
SYM_PL_KERNEL_KB_CONSTRAINT_SPECIALIST
public static Symbol SYM_PL_KERNEL_KB_CONSTRAINT_SPECIALIST
SYM_TIMEPOINT_KB_DURATION_OF
public static Symbol SYM_TIMEPOINT_KB_DURATION_OF
SYM_TIMEPOINT_SUPPORT_DURATION_OF_CONSTRAINT
public static Symbol SYM_TIMEPOINT_SUPPORT_DURATION_OF_CONSTRAINT
SYM_TIMEPOINT_KB_TIME_
public static Symbol SYM_TIMEPOINT_KB_TIME_
SYM_TIMEPOINT_SUPPORT_TIME_MINUS_CONSTRAINT
public static Symbol SYM_TIMEPOINT_SUPPORT_TIME_MINUS_CONSTRAINT
SYM_TIMEPOINT_KB_TIMEi
public static Symbol SYM_TIMEPOINT_KB_TIMEi
SYM_TIMEPOINT_SUPPORT_TIME_PLUS_CONSTRAINT
public static Symbol SYM_TIMEPOINT_SUPPORT_TIME_PLUS_CONSTRAINT
SYM_TIMEPOINT_KB_TIMEPOINT_OF$
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_OF$
KWD_RELATION_EVALUATOR
public static Keyword KWD_RELATION_EVALUATOR
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_EVALUATOR
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_EVALUATOR
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_SPECIALIST
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_SPECIALIST
SYM_TIMEPOINT_KB_TIMEPOINT_YEAR
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_YEAR
KWD_RELATION_COMPUTATION
public static Keyword KWD_RELATION_COMPUTATION
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_YEAR_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_YEAR_COMPUTATION
SYM_PL_KERNEL_KB_COMPUTATION_SPECIALIST
public static Symbol SYM_PL_KERNEL_KB_COMPUTATION_SPECIALIST
SYM_TIMEPOINT_KB_TIMEPOINT_MONTH
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_MONTH
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MONTH_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MONTH_COMPUTATION
SYM_TIMEPOINT_KB_TIMEPOINT_DAY
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DAY
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_COMPUTATION
SYM_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_OF_WEEK_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_OF_WEEK_COMPUTATION
SYM_TIMEPOINT_KB_TIMEPOINT_HOUR
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_HOUR
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_HOUR_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_HOUR_COMPUTATION
SYM_TIMEPOINT_KB_TIMEPOINT_MINUTE
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_MINUTE
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MINUTE_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MINUTE_COMPUTATION
SYM_TIMEPOINT_KB_TIMEPOINT_SECOND
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_SECOND
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_SECOND_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_SECOND_COMPUTATION
SYM_TIMEPOINT_KB_TIMEPOINT_DATE
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DATE
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DATE_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DATE_COMPUTATION
SYM_TIMEPOINT_KB_TIMEPOINT_TIME
public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_TIME
SYM_TIMEPOINT_SUPPORT_TIMEPOINT_TIME_COMPUTATION
public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_TIME_COMPUTATION
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)
timepointOfConstraint
public static Stella_Object timepointOfConstraint(IntegerWrapper missingArgument,
StringWrapper x1,
DateTimeLogicWrapper x2)
timepointOf$Computation
public static DateTimeLogicWrapper timepointOf$Computation(IntegerWrapper yy,
IntegerWrapper mm,
IntegerWrapper dd,
IntegerWrapper hr,
IntegerWrapper min,
NumberWrapper sec,
Stella_Object tz)
timepointOf$Evaluator
public static void timepointOf$Evaluator(Proposition self)
timepointOf$Specialist
public static Keyword timepointOf$Specialist(ControlFrame frame,
Keyword lastmove)
durationOfConstraint
public static Stella_Object durationOfConstraint(IntegerWrapper missingArgument,
StringWrapper x1,
DateTimeLogicWrapper x2)
timeMinusConstraint
public static Stella_Object timeMinusConstraint(IntegerWrapper missingArgument,
DateTimeLogicWrapper x1,
DateTimeLogicWrapper x2,
DateTimeLogicWrapper x3)
timePlusConstraint
public static Stella_Object timePlusConstraint(IntegerWrapper missingArgument,
DateTimeLogicWrapper x1,
DateTimeLogicWrapper x2,
DateTimeLogicWrapper x3)
helpGetTimeZone
public static double helpGetTimeZone(Stella_Object timeZoneSpecifier)
dowKeywordToInstance
public static LogicObject dowKeywordToInstance(Keyword dow)