Package: IProofObligationList

IProofObligationList

Coverage

1: package org.overture.pog.pub;
2:
3: import java.util.List;
4:
5: public interface IProofObligationList extends List<IProofObligation>
6: {
7:         String toString();
8:
9:         void trivialCheck();
10:
11:         void renumber();
12:
13: }