tesl
Class ClockSetMark

java.lang.Object
  tesl.ClockSetMark

public class ClockSetMark
extends java.lang.Object

Field Summary

private java.util.List<ClockBackupInterface<?>>	clock_mark_
private java.util.List<ImplicationBackupInterface>	impl_mark_

Constructor Summary

ClockSetMark()

Method Summary

void	addClock(ClockBackupInterface<?> backup)
void	addImplication(ImplicationBackupInterface backup)
java.util.Collection<ClockBackupInterface<?>>	clockBackups()
java.util.Collection<ImplicationBackupInterface>	implicationBackups()

Methods inherited from class java.lang.Object

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

Field Detail

clock_mark_

private java.util.List<ClockBackupInterface<?>> clock_mark_

impl_mark_

private java.util.List<ImplicationBackupInterface> impl_mark_

Constructor Detail

ClockSetMark

public ClockSetMark()

Method Detail

addClock

public void addClock(ClockBackupInterface<?> backup)

addImplication

public void addImplication(ImplicationBackupInterface backup)

clockBackups

public java.util.Collection<ClockBackupInterface<?>> clockBackups()

implicationBackups

public java.util.Collection<ImplicationBackupInterface> implicationBackups()