Logic Namespace Reference

Functions
bool	equiv (bool p, bool q)
template<typename T >
bool	equiv (T p, T q)
bool	implies (bool p, bool q)
template<typename T >
bool	implies (T p, T q)

Function Documentation

equiv() [1/2]

bool Logic::equiv ( bool  p, bool  q  )

inline

Definition at line 93 of file Logic.hpp.

Here is the caller graph for this function:

equiv() [2/2]

template<typename T >

bool Logic::equiv	(	T	p,
		T	q
	)

Definition at line 105 of file Logic.hpp.

implies() [1/2]

bool Logic::implies ( bool  p, bool  q  )

inline

Definition at line 114 of file Logic.hpp.

Here is the caller graph for this function:

implies() [2/2]

template<typename T >

bool Logic::implies	(	T	p,
		T	q
	)

Definition at line 126 of file Logic.hpp.