Hilbert II - Version 0.03.04

org.qedeq.kernel.base.module
Interface ProofList

All Known Implementing Classes:
ProofListVo

public interface ProofList

List of proofs.

Version:
$Revision: 1.5 $

Method Summary
 Proof get(int index)
          Get index-th element of list.
 int size()
          Get size of list.
 

Method Detail

size

public int size()
Get size of list.

Returns:
List size.

get

public Proof get(int index)
Get index-th element of list.

Parameters:
index - Index.
Returns:
Index-th element.

Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.