/**
 * 
 */
package eu.quanticol.carma.simulator;

/**
 * @author loreti
 *
 */
public interface PredicateEvaluator {

	public CarmaPredicate getPredicate( CarmaSystem system );
	
}