de.rwth.swc.coffee4j.engine.constraint

Class ConflictingErrorConstraintSearcher

java.lang.Object

de.rwth.swc.coffee4j.engine.constraint.ConflictingErrorConstraintSearcher

public class ConflictingErrorConstraintSearcher
extends Object

Method Summary

Modifier and Type	Method and Description
it.unimi.dsi.fastutil.ints.IntList	diagnoseValueBasedConflict(int[] parameters, int[] values)
it.unimi.dsi.fastutil.ints.IntList	explainValueBasedConflict(int[] parameters, int[] values)

Methods inherited from class java.lang.Object

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

Method Detail

explainValueBasedConflict

public it.unimi.dsi.fastutil.ints.IntList explainValueBasedConflict(int[] parameters,
                                                                    int[] values)

diagnoseValueBasedConflict

public it.unimi.dsi.fastutil.ints.IntList diagnoseValueBasedConflict(int[] parameters,
                                                                     int[] values)