Segfault when printing cp variables to ECNF

[Joachim Jansen]

Certain formulas cause a segfault when trying to print them to ECNF format when the CP support is turned on.

[Joachim Jansen]

Uploaded more simple theory that also results in bug

[Joachim Jansen]

Attached a minimal bug-reproducing file.

For some reason I can't remove the other .idp files from this issue

[Joachim Jansen]

Commits that fixed this issue have not been pulled into master yet.

[Joachim Jansen]

Fixed bug where ECNF printer segfaults when CP was on

Reason for the segfault is that the Structure::inter(..) procedure returned an object that would be deleted later on. This has been circumvented by providing a Structure::storableInter(..) procedure that does exactly the same, but it returns a clone of the interpretation that is storable.

This fixes bug #353

→ <<cset be53f00b9ecf>>

[Joachim Jansen]

Fixed bug where ECNF printer segfaults when CP was on

Reason for the segfault is that the Structure::inter(..) procedure returned an object that would be deleted later on. This has been circumvented by providing a Structure::storableInter(..) procedure that does exactly the same, but it returns a clone of the interpretation that is storable.

This fixes bug #353

→ <<cset 6032d634698e>>

[Joachim Jansen]

Fixed bug where ECNF printer segfaults when CP was on

Reason for the segfault is that the Structure::inter(..) procedure returned an object that would be deleted later on. This has been circumvented by providing a Structure::storableInter(..) procedure that does exactly the same, but it returns a clone of the interpretation that is storable.

This fixes bug #353

→ <<cset 623c5aa247db>>

[Joachim Jansen]

Fixed bug where ECNF printer segfaults when CP was on

Reason for the segfault is that the Structure::inter(..) procedure returned an object that would be deleted later on. This has been circumvented by providing a Structure::storableInter(..) procedure that does exactly the same, but it returns a clone of the interpretation that is storable.

This is only necessary in the translateTerm() method in GroundTranslator.cpp, because the sortable there might be needed later (e.g. for printing)

This fixes bug #353

→ <<cset bf4b131ad23b>>

[Bart Bogaerts]

Deze bug faalt nog steeds,

De laatste file faalt nog steeds!

CPsupport is niet relevant (crasht zowel met als zonder)

Neline: Ubuntu VM onder windows

[Bart Bogaerts]

Nevermind, the issue was not the printing