Project

General

Profile

Feature #153

Shorter simpler names for some bool3 values and functions

Added by John Abbott almost 12 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
Renaming
Target version:
Start date:
04 May 2012
Due date:
% Done:

100%

Estimated time:
Spent time:

Description

We need shorter names for IsDefinitelyTrue and IsDefinitelyFalse.

Also need a shorter way of expressing the constant values DefinitelyTrue and DefinitelyFalse. If there is auto conversion from bool then we can use just true and false; we could be more explicit via bool3(true) and bool3(false) -- these latter two are already possible. Of course, plain true and false are much more compact, though possibly open to misinterpretation by a careless reader of code [but a careless reader gets what he deserves, right? ]


Related issues

Related to CoCoALib - Feature #138: Automatic conversion from bool3 to bool?Closed2012-04-24

Related to CoCoALib - Feature #152: Replace bool3 by triboolClosed2012-05-04

History

#1 Updated by John Abbott almost 12 years ago

Spent about 45 mins discussing with Anna. Differences of opinion remain.

#2 Updated by John Abbott almost 12 years ago

Proposal for shorter names: IsTrue3 and IsFalse3 and IsUncertain3

Propose replacing DefinitelyTrue, DefinitelyFalse and uncertain with true3, false3 and uncertain3 respectively.

Also try moving the enum outside so the user does not need to specify the bool3:: prefix every time.

#3 Updated by John Abbott almost 12 years ago

  • Category set to Renaming
  • Target version set to CoCoALib-0.9952
  • % Done changed from 0 to 10

#4 Updated by John Abbott almost 12 years ago

  • Status changed from New to Resolved
  • % Done changed from 10 to 100

Implemented the last suggestion, that way we can try it. Remember that bool3 may eventually be replaced by tribool.

The only thing missing is a good example prog for bool3. I'll close the issue when a good example has been created.

#5 Updated by John Abbott almost 12 years ago

  • Status changed from Resolved to Closed

I've written a simple example -- I hope Alessandra Caleo likes it!

#6 Updated by Anna Maria Bigatti almost 12 years ago

  • Target version changed from CoCoALib-0.9952 to CoCoALib-0.9951

#7 Updated by John Abbott about 10 years ago

The new fn names are:

IsTrue3
IsUncertain3
IsFalse3

Also available in: Atom PDF