krr / IDP / issues / #171 - Print out structure in ECNF — Bitbucket

Issue #171 wontfix

Broes De Cat created an issue 2012-05-23

Currently, cannot print structures in ECNF. So stdoptions.language="ecnf" print(ground(T, S)) print(onemodel(T, S)) does not work

Comments (3)

Broes De Cat reporter
- changed milestone to Later
- 2012-05-23T09:52:45+00:00
Broes De Cat reporter
- changed status to wontfix
Such a printing will never be really useful. The only useful construct to print in ECNF will be ground theories (and maybe terms). For the moment we will keep the error, but making it a special option to print ground theories might be more user-friendly (but most won't ecnf anyway).
- 2012-05-23T10:26:14+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:09+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: minor

Status: wontfix

Component: –

Version: –

Votes: 0

Watchers: 0

Jira: the preferred issue tracker for Bitbucket. Join the team!