Statements (30)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:Library
|
gptkbp:bfsLayer |
3
|
gptkbp:bfsParent |
gptkb:C++
|
gptkbp:acquisition |
gptkb:theorem
|
gptkbp:constructor |
gptkb:theorem
depends on T |
gptkbp:contraindication |
depends on T
|
gptkbp:durability |
depends on T
|
gptkbp:game_replayability |
depends on T
|
gptkbp:has_member |
at
data size end fill begin swap operator[] |
gptkbp:has_symbol |
T
|
gptkbp:is_adjacent_to |
gptkb:theorem
|
gptkbp:is_compared_to |
gptkb:theorem
|
gptkbp:is_organized_by |
gptkb:theorem
|
gptkbp:is_scalable |
gptkb:theorem
|
gptkbp:layout |
depends on T
|
gptkbp:learns_move |
gptkb:theorem
depends on T |
gptkbp:length |
gptkb:N
|
gptkbp:modifications |
depends on T
|
gptkbp:signature_move |
gptkb:theorem
depends on T |
gptkbp:size |
gptkb:theorem
|