tesl
Class DelayedImplication.DelayedImplicationBackup

java.lang.Object
  tesl.DelayedImplication.DelayedImplicationBackup

All Implemented Interfaces:

ImplicationBackupInterface

Enclosing class:

DelayedImplication<M1 extends java.lang.Comparable<? super M1>,M2 extends java.lang.Comparable<? super M2>,S extends java.lang.Comparable<? super S>>

private class DelayedImplication.DelayedImplicationBackup
extends java.lang.Object
implements ImplicationBackupInterface

Field Summary

int

backup_n_

Constructor Summary

DelayedImplication.DelayedImplicationBackup()

Method Summary

void

restore()

Methods inherited from class java.lang.Object

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

Field Detail

backup_n_

public int backup_n_

Constructor Detail

DelayedImplication.DelayedImplicationBackup

public DelayedImplication.DelayedImplicationBackup()

Method Detail

restore

public void restore()

Specified by:

restore in interface ImplicationBackupInterface