/** * Adds a pragma hint for a variable, which defines value range for it. The pragma must be set before the variable * is added to the input variables, i.e. the pragma must appear for the use of the variable */ public void addPragmaMinMaxValues(String variable, String min, String max) { graph.addPragmaMinMaxValues(variable, min, max); }
/** * Adds a pragma hint for a variable, which defines value range for it. The pragma must be set before the variable is added to * the input variables, i.e. the pragma must appear for the use of the variable */ public void addPragmaMinMaxValues(String variable, String min, String max) { graph.addPragmaMinMaxValues(variable, min, max); }