Beispiel #1
0
 public bool ContainsPropertyProvider(MathIdentifier propertyType)
 {
     return(_properties.ContainsId(propertyType));
 }
Beispiel #2
0
 public bool ContainsTheorem(MathIdentifier theoremId)
 {
     return(_theorems.ContainsId(theoremId));
 }
Beispiel #3
0
 public bool ContainsTransformationType(MathIdentifier transformationType)
 {
     return(_transformations.ContainsId(transformationType));
 }
Beispiel #4
0
 public bool ContainsEntity(MathIdentifier entityId)
 {
     return(_table.ContainsId(entityId));
 }