// Path: plugins/fr.inria.atlanmod.emftocsp/src/fr/inria/atlanmod/emftocsp/IModelToCspSolver.java
// public interface IModelToCspSolver<R,ST> {
// 
// 	public void setModel(R modelResource);
// 
// 	public R getModel();
// 
// 	public void setModelFileName(String filename);
// 
// 	public String getModelFileName();
// 
// 	public String getModelLocation();
// 
// 	public IModelReader<R, ?, ?, ?, ?, ?> getModelReader();
// 
// 	public IOclParser<?, R> getOclParser();
// 
// 	public void setCspCodeGenerator(ICspCodeGenerator<R, ?, ?, ?, ?, ?, ?> cspCodeGenerator);
// 
// 	public ICspCodeGenerator<R, ?, ?, ?, ?, ?, ?> getCspCodeGenerator();
// 
// 	public void setConstraintsDocument(IFile constraintsDocument);
// 
// 	public IFile getConstraintsDocument();
// 
// 	public void setModelElementsDomain(Map<String, String> modelDomain);
// 
// 	public Map<String, String> getModelElementsDomain();
// 
// 	public void setResultLocation(IFolder resultLocation);
// 
// 	public IFolder getResultLocation();
// 
// 	public void setModelProperties(List<IModelProperty> modelProperties);
// 
// 	public List<IModelProperty> getModelProperties();
// 
// 	public void setSolver(ICspSolver solver);
// 
// 	public ICspSolver getSolver();
// 
// 	public boolean solveModel() throws ProcessingException ;
// 
// 	public boolean solveModel(List<File> importLibs) throws ProcessingException ;	
// 
// 	public Object getSolverEvaluationResult();
// 
// 	public void setLogger(ILogger logger);
// 
// 	public ILogger getLogger();
// 
// 	IModelBuilder<R, ?, ?, ?, ?, ?, ST> getBuilder();
// 
// 	void setBuilder(IModelBuilder<R, ?, ?, ?, ?, ?, ST> builder);
// 
// 	void setConstraintsDocument(URI fileURI) throws CoreException;
// 
// 	public void setConstraintsDocumentToNull();
// }
// 
// Path: plugins/fr.inria.atlanmod.emftocsp.emf/src/fr/inria/atlanmod/emftocsp/emf/IEmfModelToCspSolverFactory.java
// public interface IEmfModelToCspSolverFactory extends IModelToCspSolverFactory<Resource,CompoundTerm>  {
// 
// }


import fr.inria.atlanmod.emftocsp.IModelToCspSolver;
import fr.inria.atlanmod.emftocsp.emf.IEmfModelToCspSolverFactory;
import org.eclipse.emf.ecore.resource.Resource;
import com.parctechnologies.eclipse.CompoundTerm;
/*******************************************************************************
 * Copyright (c) 2011 INRIA Rennes Bretagne-Atlantique.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 *     INRIA Rennes Bretagne-Atlantique - initial API and implementation
 *******************************************************************************/
package fr.inria.atlanmod.emftocsp.emf.impl;




/**
 * @author <a href="mailto:carlos.gonzalez@inria.fr">Carlos A. González</a>
 *
 */
public class EmfModelToCspSolverFactory implements IEmfModelToCspSolverFactory {

	@Override
// Path: plugins/fr.inria.atlanmod.emftocsp/src/fr/inria/atlanmod/emftocsp/IModelToCspSolver.java
// public interface IModelToCspSolver<R,ST> {
// 
// 	public void setModel(R modelResource);
// 
// 	public R getModel();
// 
// 	public void setModelFileName(String filename);
// 
// 	public String getModelFileName();
// 
// 	public String getModelLocation();
// 
// 	public IModelReader<R, ?, ?, ?, ?, ?> getModelReader();
// 
// 	public IOclParser<?, R> getOclParser();
// 
// 	public void setCspCodeGenerator(ICspCodeGenerator<R, ?, ?, ?, ?, ?, ?> cspCodeGenerator);
// 
// 	public ICspCodeGenerator<R, ?, ?, ?, ?, ?, ?> getCspCodeGenerator();
// 
// 	public void setConstraintsDocument(IFile constraintsDocument);
// 
// 	public IFile getConstraintsDocument();
// 
// 	public void setModelElementsDomain(Map<String, String> modelDomain);
// 
// 	public Map<String, String> getModelElementsDomain();
// 
// 	public void setResultLocation(IFolder resultLocation);
// 
// 	public IFolder getResultLocation();
// 
// 	public void setModelProperties(List<IModelProperty> modelProperties);
// 
// 	public List<IModelProperty> getModelProperties();
// 
// 	public void setSolver(ICspSolver solver);
// 
// 	public ICspSolver getSolver();
// 
// 	public boolean solveModel() throws ProcessingException ;
// 
// 	public boolean solveModel(List<File> importLibs) throws ProcessingException ;	
// 
// 	public Object getSolverEvaluationResult();
// 
// 	public void setLogger(ILogger logger);
// 
// 	public ILogger getLogger();
// 
// 	IModelBuilder<R, ?, ?, ?, ?, ?, ST> getBuilder();
// 
// 	void setBuilder(IModelBuilder<R, ?, ?, ?, ?, ?, ST> builder);
// 
// 	void setConstraintsDocument(URI fileURI) throws CoreException;
// 
// 	public void setConstraintsDocumentToNull();
// }
// 
// Path: plugins/fr.inria.atlanmod.emftocsp.emf/src/fr/inria/atlanmod/emftocsp/emf/IEmfModelToCspSolverFactory.java
// public interface IEmfModelToCspSolverFactory extends IModelToCspSolverFactory<Resource,CompoundTerm>  {
// 
// }


// Path: plugins/fr.inria.atlanmod.emftocsp.emf/src/fr/inria/atlanmod/emftocsp/emf/impl/EmfModelToCspSolverFactory.java
import fr.inria.atlanmod.emftocsp.IModelToCspSolver;
import fr.inria.atlanmod.emftocsp.emf.IEmfModelToCspSolverFactory;
import org.eclipse.emf.ecore.resource.Resource;
import com.parctechnologies.eclipse.CompoundTerm;

/*******************************************************************************
 * Copyright (c) 2011 INRIA Rennes Bretagne-Atlantique.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 *     INRIA Rennes Bretagne-Atlantique - initial API and implementation
 *******************************************************************************/
package fr.inria.atlanmod.emftocsp.emf.impl;




/**
 * @author <a href="mailto:carlos.gonzalez@inria.fr">Carlos A. González</a>
 *
 */
public class EmfModelToCspSolverFactory implements IEmfModelToCspSolverFactory {

	@Override
	public IModelToCspSolver<Resource,CompoundTerm> getModelToCspSolver() {