GameApi 28
Library used by GameApi Builder tool
Loading...
Searching...
No Matches
PowerSubsetP< P, T, K > Class Template Referenceabstract

#include <Pullback.hh>

Inheritance diagram for PowerSubsetP< P, T, K >:
Collaboration diagram for PowerSubsetP< P, T, K >:

Public Member Functions

 PowerSubsetP (Power< T > *left_p, Power< K > *right_p)
virtual std::vector< subset< subset< P > * > * > Subsets () const =0
virtual bool Index (subset< subset< P > * > *power) const
virtual subset< subset< P > * > * Unique () const =0
Public Member Functions inherited from Power< subset< P > * >
virtual bool Index (subset< T > *power) const=0
Public Member Functions inherited from Function< subset< T > *, bool >
virtual ~Function ()
virtual bool IsValid (I i) const=0

Additional Inherited Members

Public Types inherited from Function< subset< T > *, bool >
typedef subset< T > * Domain
typedef bool CoDomain
Public Attributes inherited from Function< subset< T > *, bool >
std::string funcsignature
std::string contents
std::vector< std::string > link
std::vector< std::pair< std::string, std::string > > dep

Constructor & Destructor Documentation

◆ PowerSubsetP()

template<class P, class T, class K>
PowerSubsetP< P, T, K >::PowerSubsetP ( Power< T > * left_p,
Power< K > * right_p )
inline

Member Function Documentation

◆ Index()

template<class P, class T, class K>
virtual bool PowerSubsetP< P, T, K >::Index ( subset< subset< P > * > * power) const
inlinevirtual

◆ Subsets()

template<class P, class T, class K>
virtual std::vector< subset< subset< P > * > * > PowerSubsetP< P, T, K >::Subsets ( ) const
pure virtual

◆ Unique()

template<class P, class T, class K>
virtual subset< subset< P > * > * PowerSubsetP< P, T, K >::Unique ( ) const
pure virtual

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