xnor2violation< input, output > Class Template Reference

Binary xnor operator to return multi-level violation numerically: 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 = UnorderedParams
	Parameter order.

Detailed Description

template<typename input, typename output>
class xnor2violation< input, output >

Binary xnor operator to return multi-level violation numerically: x <-> y.

xnor2violation<Bool,Int>::iof(true,false) 

Member Typedef Documentation

template<typename input , typename output >

typedef input xnor2violation< input, output >::InputType

Input type.

template<typename input , typename output >

typedef output xnor2violation< input, output >::OutputType

Output type.

Member Function Documentation

template<typename input , typename output >

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

inlinestatic

Is result updatable?

template<typename input , typename output >

static output xnor2violation< 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