コード例 #1
0
ファイル: BinConstr.hpp プロジェクト: broesdecat/Minisatid 
 Weight rightmax() const {
     return right_->maxValue();
 }
コード例 #2
0
ファイル: BinConstr.hpp プロジェクト: broesdecat/Minisatid 
 Weight leftmax() const {
     return left_->maxValue();
 }