Loading src/main/java/ca/mcmaster/cas/matlab2smt/MatlabExpressionValue.java 0 → 100644 +14 −0 Original line number Diff line number Diff line /* * To change this template, choose Tools | Templates * and open the template in the editor. */ package ca.mcmaster.cas.matlab2smt; /** This interface means the expression is a value with no further expansion possible. * This is just a marker to mean an expression is only a value. * * @author matthew */ interface MatlabExpressionValue extends MatlabExpression { } Loading
src/main/java/ca/mcmaster/cas/matlab2smt/MatlabExpressionValue.java 0 → 100644 +14 −0 Original line number Diff line number Diff line /* * To change this template, choose Tools | Templates * and open the template in the editor. */ package ca.mcmaster.cas.matlab2smt; /** This interface means the expression is a value with no further expansion possible. * This is just a marker to mean an expression is only a value. * * @author matthew */ interface MatlabExpressionValue extends MatlabExpression { }