Limi
List of all members
Limi::no_independence< Key > Struct Template Reference

This class simply states that no symbols are independent. More...

#include <generics.h>

Detailed Description

template<class Key>
struct Limi::no_independence< Key >

This class simply states that no symbols are independent.

This class can be used when an independence relation is expected. For performance reasons it should not be used with antichain_algo_ind, instead use antichain_algo.

Template Parameters
KeyThe type of the symbols in the independence relation.

The documentation for this struct was generated from the following file: