package praxis.inheritance;
import util.annotations.WebDocuments;

import lectures.arrays.collections_implementation.StringHistory;

@WebDocuments({"Lectures/Inheritance.pptx", "Lectures/Inheritance.pdf", "Videos/Inheritance.avi"})
public interface PraxisStringDatabase extends PraxisStringHistory {
    public static final int MAX_SIZE = 10;

    public void removeElement(String element);
    public void clear();
    public boolean member(String element);

}