Class TreeEvaluator


  • public class TreeEvaluator
    extends Object
    Author:
    Christophe Lecoutre
    • Field Detail

      • evaluators

        public TreeEvaluator.Evaluator[] evaluators
        The sequence of evaluators (built from a post-fixed expression) that can be called for evaluating a tuple of values (instantiation).
    • Constructor Detail

      • TreeEvaluator

        public TreeEvaluator​(XNode<? extends IVar> tree)
    • Method Detail

      • classOf

        public static Class<?> classOf​(String tok)
      • arityOf

        public static int arityOf​(String tok)
      • isSymmetric

        public static boolean isSymmetric​(String tok)
      • isAssociative

        public static boolean isAssociative​(String tok)
      • isBoolean

        public boolean isBoolean()
      • isInteger

        public boolean isInteger()
      • evaluate

        public final long evaluate​(int[] values)
        Evaluates the specified tuple of values, by using the recorded so-called evaluators.
      • generatePossibleValues

        public final int[] generatePossibleValues​(int[][] domValues)
      • generateSupports

        public final int[][] generateSupports​(int[][] domValues)
      • generateConflicts

        public final int[][] generateConflicts​(int[][] domValues)
      • computeTuples

        public final int[][] computeTuples​(int[][] domValues)
      • evaluate

        public final long evaluate​(int value)
        Evaluates the value, by using the recorded so-called evaluators.
      • controlArityOfEvaluators

        public boolean controlArityOfEvaluators()
      • controlTypeOfEvaluators

        public boolean controlTypeOfEvaluators​(boolean booleanType)