Package de.rwth.swc.coffee4j.engine.constraint

Class ConflictingErrorConstraintSearcher

  • public class ConflictingErrorConstraintSearcher
extends java.lang.Object

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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)