Package de.rwth.swc.coffee4j.engine.converter.tuplebased

Class TupleBasedConstraintConverter

java.lang.Object

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

de.rwth.swc.coffee4j.engine.converter.tuplebased.TupleBasedConstraintConverter

All Implemented Interfaces:

IndexBasedConstraintConverter

public class TupleBasedConstraintConverter
extends AbstractIndexBasedConstraintConverter

Converter for TupleBasedConstraints. Maps each parameter-value to the internal index-based representation.

Constructor Summary

Constructors

Constructor	Description
TupleBasedConstraintConverter(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

TupleBasedConstraintConverter

public TupleBasedConstraintConverter(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.