C# Class GeoGen.Core.TheoremTypeExtensions

The extensions methods for TheoremType.
Show file Open project: PatrikBak/GeoGen

Public Methods

Method Description
GetNumberOfNeededObjects ( TheoremType type ) : int

Gets the number of TheoremObject that are required for a theorem of this type.

Private Methods

Method Description
GeoGenException ( ) : GeoGen.Core.TheoremType
nameof ( ) : GeoGen.Core.TheoremType

Method Details

GetNumberOfNeededObjects() public static method

Gets the number of TheoremObject that are required for a theorem of this type.
public static GetNumberOfNeededObjects ( TheoremType type ) : int
type TheoremType The theorem type.
return int