solver::BitmaskedSet Class Reference

#include <action_constraint_solver.h>

Inheritance diagram for solver::BitmaskedSet:

Public Member Functions
	BitmaskedSet (ContainerID dest, ContainerID src1, ContainerID src2, bitvec mask)
cstring	name () const override
cstring	to_cstring () const override

Public Attributes
ContainerID	dest
bitvec	mask
ContainerID	src1
ContainerID	src2

Detailed Description

bitmasked-set: dest = (src1 & mask) | (src2 & ~mask)

Member Function Documentation

name()

cstring solver::BitmaskedSet::name ( ) const

inlineoverridevirtual

Implements solver::Instruction.

to_cstring()

cstring solver::BitmaskedSet::to_cstring ( ) const

overridevirtual

Implements solver::Instruction.