package uk.ac.imperial.lsds.seep.api.state; import java.util.List; /** * A class implements Partitionable to indicate that it can be split into different partitions according to some * application-dependent logic. * @author ra * */ public interface Partitionable { public List<? extends SeepState> partition(); public List<? extends SeepState> partition(int partitions); }