Sebastien Loriot ff278a61eb Merge pull request #3399 from maxGimeno/Kernel_23-Aff_transformation-Equality_test-GF ...

Kernel_23: Add an equality test to Aff_transfo 2 and 3.

2018-11-12 15:06:07 +01:00

..

Cartesian

Add an equality test to Aff_transfo 2 and 3.

2018-10-12 16:34:19 +02:00

constructions

Use certainly() as recommended by Laurent

2018-10-09 14:09:05 +02:00

predicates

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

Cartesian_converter.h

Add Filtered_predicates and manage all Aff_transf

2018-10-09 10:24:32 +02:00

Cartesian.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00

Simple_cartesian.h

add SPDX identifier for files under the LGPL-3+ license

2017-11-12 10:17:50 +01:00