getInt() public method

public getInt ( String name ) : int
name String
return int
Metrics Class Documentation
コード例 #1
0
ファイル: NodeExpander.cs プロジェクト: claudiu04/AIMA.Net 
 public int getNodesExpanded()
 {
     return(metrics.getInt(METRIC_NODES_EXPANDED));
 }