Public メソッド | |
void | add (const Element &e) |
dualDfpn.cc の 46 行で定義されています。
void checkmate::DualDfpn::OraclePool::List::add | ( | const Element & | e | ) | [inline] |
dualDfpn.cc の 48 行で定義されています。
参照先 checkmate::DualDfpn::OraclePool::List::add(), osl::FixedCapacityVector< Element, max_oracle_list_size >::back(), osl::FixedCapacityVector< Element, max_oracle_list_size >::capacity(), osl::FixedCapacityVector< Element, max_oracle_list_size >::push_back(), と osl::FixedCapacityVector< Element, max_oracle_list_size >::size().