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

Class AbstractIndexBasedConstraintConverter

java.lang.Object

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

All Implemented Interfaces:

IndexBasedConstraintConverter

Direct Known Subclasses:

SimpleCartesianProductConstraintConverter, TupleBasedConstraintConverter

public abstract class AbstractIndexBasedConstraintConverter
extends Object
implements IndexBasedConstraintConverter

Abstract class providing functionality and fields commonly used by all different types of converters.

Constructor Summary

Constructors

Constructor	Description
AbstractIndexBasedConstraintConverter(List<Parameter> parameters)

Method Summary

Modifier and Type	Method	Description
TupleList	convert(Constraint constraint, int lastId)	Converts the constraint to a TupleList by using the index based schema explained in ModelConverter.
List<TupleList>	convert(List<Constraint> constraints, int lastId)	Converts all constraints to TupleLists by using the index based schema explained in ModelConverter.
protected abstract 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 java.lang.Object

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

Constructor Detail

AbstractIndexBasedConstraintConverter

public AbstractIndexBasedConstraintConverter(List<Parameter> parameters)

Parameters:

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

Method Detail

convert

public List<TupleList> convert(List<Constraint> constraints,
                               int lastId)

Description copied from interface: IndexBasedConstraintConverter

Converts all constraints to TupleLists by using the index based schema explained in ModelConverter. The constraints need to be converted in order.

Specified by:

convert in interface IndexBasedConstraintConverter

Parameters:

constraints - all Constraints which need to be converted. Must not be null but can be empty

lastId - last id that has been assigned.

Returns:

the converted constraints in the same order as the given constraints

convert

public TupleList convert(Constraint constraint,
                         int lastId)

Description copied from interface: IndexBasedConstraintConverter

Converts the constraint to a TupleList by using the index based schema explained in ModelConverter.

Specified by:

convert in interface IndexBasedConstraintConverter

Parameters:

constraint - Constraint that needs to be converted. Must not be null.

lastId - last id that has been assigned.

Returns:

the converted Constraint.

convertedConstraint

protected abstract 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.

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.