#include <gadget.hpp>

Inheritance diagram for gadgetlib2::LogicImplication_Gadget:

Collaboration diagram for gadgetlib2::LogicImplication_Gadget:

Public Member Functions
void	generateConstraints ()

void	generateWitness ()

Public Member Functions inherited from gadgetlib2::Gadget
	Gadget (ProtoboardPtr pb)

void	addUnaryConstraint (const LinearCombination &a, const ::std::string &name)

void	addRank1Constraint (const LinearCombination &a, const LinearCombination &b, const LinearCombination &c, const ::std::string &name)

void	enforceBooleanity (const Variable &var)

FElem &	val (const Variable &var)

FElem	val (const LinearCombination &lc)

FieldType	fieldType () const

bool	flagIsSet (const FlagVariable &flag) const

Static Public Member Functions
static GadgetPtr	create (ProtoboardPtr pb, const LinearCombination &condition, const FlagVariable &flag)

Additional Inherited Members
Protected Attributes inherited from gadgetlib2::Gadget
ProtoboardPtr	pb_

Detailed Description

A gadget for the following semantics: condition == 1 --> flag = 1 Uses 1 constraint

Definition at line 772 of file gadget.hpp.

Member Function Documentation

GadgetPtr gadgetlib2::LogicImplication_Gadget::create	(	ProtoboardPtr	pb,
		const LinearCombination &	condition,
		const FlagVariable &	flag
	)

static

Definition at line 1069 of file gadget.cpp.

 {
     GadgetPtr pGadget(new LogicImplication_Gadget(pb, condition, flag));
     pGadget->init();
     return pGadget;
 }

void gadgetlib2::LogicImplication_Gadget::generateConstraints ( )

virtual

Definition at line 1079 of file gadget.cpp.

 {
     pb_->addRank1Constraint(
         condition_, negate(flag_), 0, "condition * not(flag) = 0");
 }

Here is the call graph for this function:

void gadgetlib2::LogicImplication_Gadget::generateWitness ( )

virtual

Reimplemented from gadgetlib2::Gadget.

Definition at line 1085 of file gadget.cpp.

 {
     if (val(condition_) == 1) {
         val(flag_) = 1;
     }
 }

Here is the call graph for this function:

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