Commit f5d9a802 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Rename smtlibgenerator to smtlibchecker. 

To stay at least a little consistent, use smtlibchecker for the smtlib
package name.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@10660 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent 81ccd279

Matlab2SMT/src/main/java/ca/mcmaster/cas/smtlibgenerator/HierarchicalGridSMTLIBGenerator.java→Matlab2SMT/src/main/java/ca/mcmaster/cas/smtlibchecker/HierarchicalGridSMTLIBGenerator.java

+1 −2
Original line number Diff line number Diff line
@@ -14,10 +14,9 @@ 
 * You should have received a copy of the GNU General Public License

 * along with this program.  If not, see <http://www.gnu.org/licenses/>.

 */

package ca.mcmaster.cas.smtlibgenerator;

package ca.mcmaster.cas.smtlibchecker;



import ca.mcmaster.cas.matlab2smt.BooleanVariableType;

import ca.mcmaster.cas.matlab2smt.CVC3Generator;

import ca.mcmaster.cas.matlab2smt.MatlabParser;

import ca.mcmaster.cas.matlab2smt.SMTLIBGenerator;

import ca.mcmaster.cas.matlab2smt.VariableParser;

Matlab2SMT/src/test/java/ca/mcmaster/cas/smtlibgenerator/HierarchicalGridSMTLIBGeneratorTest.java→Matlab2SMT/src/test/java/ca/mcmaster/cas/smtlibchecker/HierarchicalGridSMTLIBGeneratorTest.java

+1 −2
Original line number Diff line number Diff line
@@ -14,9 +14,8 @@ 
 * You should have received a copy of the GNU General Public License

 * along with this program.  If not, see <http://www.gnu.org/licenses/>.

 */

package ca.mcmaster.cas.smtlibgenerator;

package ca.mcmaster.cas.smtlibchecker;



import ca.mcmaster.cas.cvc3generator.HierarchicalGridCVC3Generator;

import ca.mcmaster.cas.matlab2smt.VariableParser;

import ca.mcmaster.cas.tablularexpression.HierarchcialGridCheckerWalkerGenerator;

import ca.mcmaster.cas.tablularexpression.HierarchicalCell;