本文整理汇总了C++中BitField::test方法的典型用法代码示例。如果您正苦于以下问题:C++ BitField::test方法的具体用法?C++ BitField::test怎么用?C++ BitField::test使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类BitField
的用法示例。
在下文中一共展示了BitField::test方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: isInMaxTrap
bool StateConstraints::isInMaxTrap(const PetriNet& net,
size_t place,
const BitField& places,
const MarkVal* resultMarking) const{
if(!places.test(place))
return false;
/*
0 if M(p_i) = 1
0 if there is (p_i , t) ∈ F such that x_j = 0
for every p_j ∈ t•
1 otherwise
*/
if(resultMarking[place] > 0)
return false;
for(unsigned int t = 0; t < net.numberOfTransitions(); t++){
if(net.inArc(place, t) > 0){
bool exclude = true;
for(unsigned int j = 0; j < net.numberOfPlaces(); j++){
if(net.outArc(t, j) > 0){
exclude &= !places.test(j);
}
}
if(exclude)
return false;
}
}
return true;
}
示例2: isMarked
bool StateConstraints::isMarked(const BitField& places, const MarkVal* marking) const{
for(size_t p = 0; p < places.size(); p++)
if(places.test(p) && marking[p] > 0)
return true;
return false;
}