Ticket #446 (new task)

Opened 2 years ago

Last modified 20 months ago

use regular closed sets in RCC8 proof

Reported by: till Owned by: luecke
Priority: normal Milestone: 0.95
Component: basic-library Version: 0.75
Keywords: Cc:

Description

In Hets-lib/Calculi/RCCVerification.het, use regular closed sets (in an arbitrary topological space) rather than unit balls (in a metric space).

Change History

Changed 20 months ago by luecke

  • owner changed from till to luecke
  • milestone changed from 0.9 to 0.95
Note: See TracTickets for help on using tickets.