Class PropCompactTableStar

  • All Implemented Interfaces:
    Comparable<Propagator>, ICause, Identity

    public class PropCompactTableStar
    extends PropCompactTable
    Propagator for table constraint based on "Extending Compact-Table to Negative and Short Tables", H. Verhaeghe and C. Lecoutre and P. Schauss, AAAI-17. It deals with short tuples.
    Since:
    16/05/2017
    Author:
    Charles Prud'homme, Jean-Guillaume FAGES