edu.luc.cs.trull.tl
Class BackTo

java.lang.Object
  edu.luc.cs.trull.tl.Expr
      edu.luc.cs.trull.tl.BackTo

All Implemented Interfaces:

java.lang.Cloneable

public class BackTo
extends Expr

The formula p backto q specifies that either p since q is true or always p is true.

See Also:

Since, AllPast

Field Summary

private static org.apache.log4j.Logger	cat
private Expr	p
private Expr	q

Fields inherited from class edu.luc.cs.trull.tl.Expr

evaluated, fringe, val

Constructor Summary

BackTo(Expr p, Expr q)

BackTo(Expr p, java.lang.Object q)

BackTo(java.lang.Object p, Expr q)

BackTo(java.lang.Object p, java.lang.Object q)

Method Summary

(package private) void	accept(Visitor v) This method uses a visitor to traverse the temporal logic formula.
java.lang.Object	clone()
(package private) boolean	ev() This method evaluates the formula.
void	reset() return time to "zero" by resetting the local state of this formula and all its subformulas. use only on top-level formulas.
void	tick() This method advances the clock by one step.

Methods inherited from class edu.luc.cs.trull.tl.Expr

check, eval, eval, getFringe, getLabels, set, setLeaves, toString, valuate

Methods inherited from class java.lang.Object

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

Field Detail

cat

private static org.apache.log4j.Logger cat

p

private Expr p

q

private Expr q

Constructor Detail

BackTo

public BackTo(Expr p,
              Expr q)

BackTo

public BackTo(Expr p,
              java.lang.Object q)

BackTo

public BackTo(java.lang.Object p,
              Expr q)

BackTo

public BackTo(java.lang.Object p,
              java.lang.Object q)

Method Detail

accept

void accept(Visitor v)

Description copied from class: Expr

This method uses a visitor to traverse the temporal logic formula.

Overrides:

accept in class Expr

clone

public java.lang.Object clone()

Overrides:

clone in class Expr

ev

boolean ev()

Description copied from class: Expr

This method evaluates the formula. It should be overridden by subclasses that represent composite formulas.

Overrides:

ev 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