Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Interface
tesl.ImplicationBackupInterface

Packages that use ImplicationBackupInterface
tesl |

Uses of ImplicationBackupInterface in tesl

Classes in tesl that implement ImplicationBackupInterface
`private class` | `DelayedImplication.DelayedImplicationBackup`
`private class` | `FilteredImplication.FilteredImplicationBackup`
`private class` | `Implication.ImplicationBackup`
`private class` | `SustainedImplication.SustainedImplicationBackup`

Fields in tesl with type parameters of type ImplicationBackupInterface
`private java.util.List<ImplicationBackupInterface>` | `ClockSetMark.impl_mark_`

Methods in tesl that return ImplicationBackupInterface
`ImplicationBackupInterface` | `SustainedImplication.backup()`
`abstract ImplicationBackupInterface` | `ImplicationRelation.backup()`
`ImplicationBackupInterface` | `Implication.backup()`
`ImplicationBackupInterface` | `FilteredImplication.backup()`
`ImplicationBackupInterface` | `DelayedImplication.backup()`

Methods in tesl that return types with arguments of type ImplicationBackupInterface
`java.util.Collection<ImplicationBackupInterface>` | `ClockSetMark.implicationBackups()`

Methods in tesl with parameters of type ImplicationBackupInterface
`void` | `ClockSetMark.addImplication(ImplicationBackupInterface backup)`
`void` | `SustainedImplication.restore(ImplicationBackupInterface bck)`
`abstract void` | `ImplicationRelation.restore(ImplicationBackupInterface bck)`
`void` | `Implication.restore(ImplicationBackupInterface bck)`
`void` | `FilteredImplication.restore(ImplicationBackupInterface bck)`
`void` | `DelayedImplication.restore(ImplicationBackupInterface bck)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES