/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package ca.mcmaster.cas.matlab2smt;

/**
 *
 * @author matthew
 */
public interface MatlabExpression {

    /* This methods returns an actual variable type for the requested input type.  If due to the setup of the system,
    *  this is not possible, then this function should return null.
    */
    VariableType actualOutputTypeForRequestedOutput(VariableTypeMarker requestedType);

    String getCheckerOutput(CheckerGenerator generator, VariableType requestedType);
}
