Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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()

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD