ProofStateListener

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

All Known Implementing Classes:

ProofTreeItem
```
public interface ProofStateListener
```
Listener that is notified if proof state has changed.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method and Description
  
  void hasChanged()
  Called if proof state has changed.

- Method Detail
  - hasChanged
```
void hasChanged()
```
    Called if proof state has changed.

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method