atlas  0.6
Functions
atlas::kltest Namespace Reference

Functions

bool checkBasePoint (const KGB &)
 
void dualityPermutation (Permutation &, const kl::KLContext &)
 
bool dualityVerify (const kl::KLContext &klc, const kl::KLContext &dual_klc)
 

Function Documentation

bool atlas::kltest::checkBasePoint ( const KGB &  )
void atlas::kltest::dualityPermutation ( Permutation &  ,
const kl::KLContext  
)
bool atlas::kltest::dualityVerify ( const kl::KLContext klc,
const kl::KLContext dual_klc 
)