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

Move the cvc3generator package out of tablularexpression. 

The cvc3generator package was originally put in tablularexpression while
I was fighting with maven.  Since it doesn't have to be in the package, remove
it to clean up the layout of packages.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@10652 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent 1d21ee1f

Matlab2SMT/src/main/java/ca/mcmaster/cas/tablularexpression/cvc3generator/HierarchicalGridCVC3Generator.java→Matlab2SMT/src/main/java/ca/mcmaster/cas/cvc3generator/HierarchicalGridCVC3Generator.java

+1 −1
Original line number Diff line number Diff line
@@ -14,7 +14,7 @@ 
 * 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.tablularexpression.cvc3generator;

package ca.mcmaster.cas.cvc3generator;



import ca.mcmaster.cas.matlab2smt.MatlabParser;

import ca.mcmaster.cas.matlab2smt.BooleanVariableType;

Matlab2SMT/src/test/java/ca/mcmaster/cas/tablularexpression/cvc3generator/HierarchicalGridCVC3GeneratorTest.java→Matlab2SMT/src/test/java/ca/mcmaster/cas/cvc3generator/HierarchicalGridCVC3GeneratorTest.java

+1 −1
Original line number Diff line number Diff line
@@ -14,7 +14,7 @@ 
 * 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.tablularexpression.cvc3generator;

package ca.mcmaster.cas.cvc3generator;



import ca.mcmaster.cas.matlab2smt.VariableParser;

import ca.mcmaster.cas.tablularexpression.Cell;