org.qedeq.kernel.se.base.module
Interface ProofList

All Known Implementing Classes:

ProofListVo

public interface ProofList

List of non formal proofs.

Author:

Michael Meyling

Method Summary

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

Method Detail

size

int size()

Get size of list.

Returns:

List size.

get

Proof get(int index)

Get index-th element of list.

Parameters:

index - Index.

Returns:

Index-th element.