nimply2satisfaction< input, output > Class Template Reference

Binary not-imply operator to return two-level satisfaction logically: !(x -> y). More...

#include <binaryLogical.hpp>

Public Types
typedef input	InputType
	Input type. More...
typedef output	OutputType
	Output type. More...

Static Public Member Functions
static Bool	Updatable (Bool const LeftUpdatable, Bool const RightUpdatable, input const &LeftData, input const &RightData)
	Updatable? More...
static output	iof (input const &LeftData, input const &RightData)
	Operation. More...

Static Public Attributes
static Dim const	ParamArity = 2
	Parameter arity.
static ParamOrder const	ParamOrdered = OrderedParams
	Parameter order.

Detailed Description

template<typename input, typename output = input>
class nimply2satisfaction< input, output >

Binary not-imply operator to return two-level satisfaction logically: !(x -> y).

nimply2satisfaction<<Bool,Bool>::iof(true,false) 

Member Typedef Documentation

template<typename input , typename output = input>

typedef input nimply2satisfaction< input, output >::InputType

Input type.

template<typename input , typename output = input>

typedef output nimply2satisfaction< input, output >::OutputType

Output type.

Member Function Documentation

template<typename input , typename output = input>

static Bool nimply2satisfaction< input, output >::Updatable ( Bool const  LeftUpdatable, Bool const  RightUpdatable, input const &  LeftData, input const &  RightData  )

inlinestatic

Is result updatable?

template<typename input , typename output = input>

static output nimply2satisfaction< input, output >::iof ( input const &  LeftData, input const &  RightData  )

inlinestatic

Perform operation.

---

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

• binaryLogical.hpp