aplib-master/src/main/java/eu/iv4xr/framework/extensions/ltl/IExplorableState.java
package eu.iv4xr.framework.extensions.ltl;

/**
 * Should be hashable and implements equals as well!
 * 
 * @author iswbprasetya
 *
 */

public interface IExplorableState extends IState{
	
	public IExplorableState clone() ;

}
