org.metacsp.spatial.reachability.ReachabilityContraintSolver Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of meta-csp-framework Show documentation

A Java API for Meta-CSP based reasoning

There is a newer version: 1.3.5

package org.metacsp.spatial.reachability;

import org.metacsp.framework.Constraint;
import org.metacsp.framework.ConstraintSolver;
import org.metacsp.framework.Variable;

public class ReachabilityContraintSolver extends ConstraintSolver {

	private static final long serialVersionUID = -2701427250433845929L;
	private int IDs = 0;
	public ReachabilityContraintSolver() {
		super(new Class[]{ReachabilityConstraint.class}, ConfigurationVariable.class);
		//this.setOptions(OPTIONS.AUTO_PROPAGATE);
	}

	@Override
	public boolean propagate() {
		// TODO Auto-generated method stub
		return true;
	}

	@Override
	protected boolean addConstraintsSub(Constraint[] c) {
		// TODO Auto-generated method stub
		return true;
	}

	@Override
	protected void removeConstraintsSub(Constraint[] c) {
		// TODO Auto-generated method stub
		
	}

	@Override
	protected Variable[] createVariablesSub(int num) {
		ConfigurationVariable[] ret = new ConfigurationVariable[num];
		for (int i = 0; i < num; i++) ret[i] = new ConfigurationVariable(this, IDs++);
			return ret;
	}

	@Override
	protected void removeVariablesSub(Variable[] v) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public void registerValueChoiceFunctions() {
		// TODO Auto-generated method stub
		
	}

}