1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Documentation

Issue #167 new
Bart Bogaerts created an issue

Tegen de echte release: documentatie nog eens goed nalezen + aanvullen.

Bijvoorbeeld de namespaces zoals ze nu zijn, staan nog niet goed uitgelegd

Comments (8)

  3. Bart Bogaerts reporter

    Moved the groundverbosity method to the grounder

    It used to be in globaldata, but the groundverbosity is now local to the grounders. Also abstractgroundtheory now contains a proper method to get the right verbosity. Doing this, every occurence of "Groundverbosity" has been replaced. Hence I also removed the groundverbosity option. This fixes #102. However, see #167, these changes have not been documented.

    → Wiki macro error: Changeset b02185d5c495 not found.

  4. Bart Bogaerts reporter

    It used to be in globaldata, but the groundverbosity is now local to the grounders. Also abstractgroundtheory now contains a proper method to get the right verbosity. Doing this, every occurence of "Groundverbosity" has been replaced. Hence I also removed the groundverbosity option. This fixes #102. However, see #167, these changes have not been documented.

    → Wiki macro error: Changeset 4c4bb2dbc1cc not found.

  5. Bart Bogaerts reporter

    Moved verbosity() method to local to grounders and mx

    It used to be in globaldata, but the groundverbosity is now local to the grounders. Also abstractgroundtheory now contains a proper method to get the right verbosity. Doing this, every occurence of "Groundverbosity" has been replaced. Hence I also removed the groundverbosity option. This fixes #102. However, see #167, these changes have not been documented.

    → af47e9660012

  6. Bart Bogaerts reporter

    Also: add to the documentation that -DCMAKE_BUILD_TYPE is no longer needed and that you can set teh numer of threads for testing

  7. Bart Bogaerts reporter

    Moved verbosity() method to local to grounders and mx

    It used to be in globaldata, but the groundverbosity is now local to the grounders. Also abstractgroundtheory now contains a proper method to get the right verbosity. Doing this, every occurence of "Groundverbosity" has been replaced. Hence I also removed the groundverbosity option. This fixes #102. However, see #167, these changes have not been documented.

    → af47e9660012

  9. Log in to comment
Assignee
–
Type
task
Priority
major
Status
new
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!