triveni.tl
Class Or

java.lang.Object
  |
  +--triveni.tl.Expr
        |
        +--triveni.tl.Or

public class Or

extends Expr

The formula p \/ q specifies that either p or q or both are true in the current time unit.

Constructor Summary

Or(Expr l, Expr r)

Or(Expr l, java.lang.Object r)

Or(java.lang.Object l, Expr r)

Or(java.lang.Object l, java.lang.Object r)

Method Summary

java.lang.Object	clone()
void	reset() return time to "zero" by resetting the local state of this formula and all its subformulas.
void	tick() This method advances the clock by one step.

Methods inherited from class triveni.tl.Expr

check, eval, eval, getLabels, set, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Or

public Or(Expr l,
          Expr r)

Or

public Or(java.lang.Object l,
          java.lang.Object r)

Or

public Or(Expr l,
          java.lang.Object r)

Or

public Or(java.lang.Object l,
          Expr r)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Expr

reset

public void reset()

Description copied from class: Expr

return time to "zero" by resetting the local state of this formula and all its subformulas. use only on top-level formulas.

Overrides:

reset in class Expr

tick

public void tick()

Description copied from class: Expr

This method advances the clock by one step. Subclasses should override this method to advance their subformulas.

Overrides:

tick in class Expr