blog
Class Timestep

java.lang.Object
  java.lang.Number
      blog.Timestep

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable

public class Timestep
extends java.lang.Number
implements java.lang.Comparable

Represents a time step, and is used for DBLOG (Dynamic BLOG) to indicate temporal random variables.

See Also:

Serialized Form

Method Summary

static Timestep	at(int t)
int	compareTo(java.lang.Object o)
double	doubleValue()
float	floatValue()
static int	getMax()
int	getValue()
int	intValue()
static boolean	isGivenTime(LogicalVar timeVar, Term term) Returns true if term is exactly the logical variable timeVar.
static boolean	isPrevTime(LogicalVar timeVar, Term term) Returns true if term is an application of the built-in function BuiltInFunctions.PREV to a term for which isGivenTime returns true, or has the form t - 1 where isGivenTime(t) returns true.
long	longValue()
Timestep	next()
Timestep	prev()
java.lang.String	toString()

Methods inherited from class java.lang.Number

byteValue, shortValue

Methods inherited from class java.lang.Object

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

Method Detail

next

public Timestep next()

prev

public Timestep prev()

getValue

public int getValue()

getMax

public static int getMax()

intValue

public int intValue()

Specified by:

intValue in class java.lang.Number

longValue

public long longValue()

Specified by:

longValue in class java.lang.Number

doubleValue

public double doubleValue()

Specified by:

doubleValue in class java.lang.Number

floatValue

public float floatValue()

Specified by:

floatValue in class java.lang.Number

compareTo

public int compareTo(java.lang.Object o)

Specified by:

compareTo in interface java.lang.Comparable

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

at

public static Timestep at(int t)

isGivenTime

public static boolean isGivenTime(LogicalVar timeVar,
                                  Term term)

Returns true if term is exactly the logical variable timeVar.

isPrevTime

public static boolean isPrevTime(LogicalVar timeVar,
                                 Term term)

Returns true if term is an application of the built-in function BuiltInFunctions.PREV to a term for which isGivenTime returns true, or has the form t - 1 where isGivenTime(t) returns true.