SheafSystem  0.0.0.0
sheaf::equivalence_compare_policy Class Reference

A stl_scoped_index comparison policy for equivalence comparison. More...

#include <stl_scoped_index.h>

Static Public Member Functions

static bool less_than (const scoped_index &xindex1, const scoped_index &xindex2)
 True, if xindex1 is less than xindex2. More...
 
static bool equal (const scoped_index &xindex1, const scoped_index &xindex2)
 True, if xindex1 is equal to xindex2. More...
 

Detailed Description

A stl_scoped_index comparison policy for equivalence comparison.

Definition at line 63 of file stl_scoped_index.h.

Member Function Documentation

◆ equal()

bool sheaf::equivalence_compare_policy::equal ( const scoped_index xindex1,
const scoped_index xindex2 
)
static

True, if xindex1 is equal to xindex2.

Precondition
  • xindex1.is_scoped()
  • xindex2.is_scoped()
Postcondition
  • result == (xindex1 ==~ xindex2)

Definition at line 106 of file stl_scoped_index.cc.

References sheaf::scoped_index::is_scoped().

Referenced by less_than().

◆ less_than()

bool sheaf::equivalence_compare_policy::less_than ( const scoped_index xindex1,
const scoped_index xindex2 
)
static

True, if xindex1 is less than xindex2.

Precondition
  • xindex1.is_scoped()
  • xindex2.is_scoped()
Postcondition
  • result == (xindex1 <~ xindex2)

Definition at line 84 of file stl_scoped_index.cc.

References equal(), and sheaf::scoped_index::is_scoped().

Referenced by sheaf::lexographical_compare_policy::equal().


The documentation for this class was generated from the following files: