Package de.rwth.swc.coffee4j.engine.converter.constraints.methodbased

Class SimpleCartesianProductConstraintConverter

java.lang.Object

de.rwth.swc.coffee4j.engine.converter.constraints.AbstractIndexBasedConstraintConverter

de.rwth.swc.coffee4j.engine.converter.constraints.methodbased.SimpleCartesianProductConstraintConverter

All Implemented Interfaces:

IndexBasedConstraintConverter

public class SimpleCartesianProductConstraintConverter
extends AbstractIndexBasedConstraintConverter

Converts MethodBasedConstraint objects to their TupleList representation by executing their ConstraintFunction with every possible value combination of its parameters. This means the cartesian product of its parameters values is used. For example, if a constraint uses parameters "param1" with value "1" and "2" and "param2" with value "5" and "6", then the constraint it tested with all these combinations: {"1", "5"}, {"1", "6"}, {"2", "5"} ,{"2", "6"}. For all combinations for which the ConstraintFunction returns false, a corresponding tuple is added to the TupleList representation. Naturally, this is a very expensive conversion process, especially if there are many large parameters involved.

Constructor Summary

Constructors

Constructor	Description
SimpleCartesianProductConstraintConverter(List<Parameter> parameters)

Method Summary

Modifier and Type	Method	Description
protected TupleList	convertedConstraint(Constraint constraint, it.unimi.dsi.fastutil.objects.Object2IntMap<String> parameterIdMap, it.unimi.dsi.fastutil.ints.Int2ObjectMap<Parameter> idToParameterMap, int id)	template method implemented by sub-classes to convert the given Constraint into a TupleList.

Methods inherited from class de.rwth.swc.coffee4j.engine.converter.constraints.AbstractIndexBasedConstraintConverter

convert, convert

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleCartesianProductConstraintConverter

public SimpleCartesianProductConstraintConverter(List<Parameter> parameters)

Parameters:

parameters - parameters containing the values for the conversion. Must not be null.

Method Detail

convertedConstraint

protected TupleList convertedConstraint(Constraint constraint,
                                        it.unimi.dsi.fastutil.objects.Object2IntMap<String> parameterIdMap,
                                        it.unimi.dsi.fastutil.ints.Int2ObjectMap<Parameter> idToParameterMap,
                                        int id)

Description copied from class: AbstractIndexBasedConstraintConverter

template method implemented by sub-classes to convert the given Constraint into a TupleList.

Specified by:

convertedConstraint in class AbstractIndexBasedConstraintConverter

Parameters:

constraint - constraint to be converted.

parameterIdMap - map from parameter name to Id.

idToParameterMap - map from Id to Parameter.

id - id to assign.

Returns:

converted constraint.