tesl
Class FilteredImplication.FilteredImplicationBackup

java.lang.Object
  tesl.FilteredImplication.FilteredImplicationBackup

All Implemented Interfaces:

ImplicationBackupInterface

Enclosing class:

FilteredImplication<M extends java.lang.Comparable<? super M>,S extends java.lang.Comparable<? super S>>

private class FilteredImplication.FilteredImplicationBackup
extends java.lang.Object
implements ImplicationBackupInterface

Field Summary

int	backup_phase_

Constructor Summary

FilteredImplication.FilteredImplicationBackup()

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_phase_

public int backup_phase_

Constructor Detail

FilteredImplication.FilteredImplicationBackup

public FilteredImplication.FilteredImplicationBackup()

Method Detail

restore

public void restore()

Specified by:

restore in interface ImplicationBackupInterface