Method | Description | |
---|---|---|
GetNumberOfNeededObjects ( TheoremType type ) : int |
Gets the number of TheoremObject that are required for a theorem of this type.
|
Method | Description | |
---|---|---|
GeoGenException ( ) : GeoGen.Core.TheoremType | ||
nameof ( ) : GeoGen.Core.TheoremType |
public static GetNumberOfNeededObjects ( TheoremType type ) : int | ||
type | TheoremType | The theorem type. |
return | int |