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)