public abstract bool HasProperty(MathIdentifier propertyId);
public abstract bool AskForProperty(MathIdentifier propertyType);
ITransformationTheoremProvider IFactory <ITransformationTheoremProvider, MathIdentifier> .GetInstance(MathIdentifier p1)
{
return(new TransformationTheoremProvider(p1));
}
public abstract bool DependsOn(MathIdentifier portEntity);
IAutoEvaluationTheoremProvider <NodeProperty> IFactory <IAutoEvaluationTheoremProvider <NodeProperty>, MathIdentifier> .GetInstance(MathIdentifier p1)
{
return(new AutoEvaluationTheoremProvider <NodeProperty>(p1));
}
public static T GetSpecificInstance <T>(MathIdentifier id)
{
IFactory <T> factory = _mapper.GetFactory <T>(id);
return(factory.GetInstance());
}
public static T GetSpecificInstance <T, T1, T2, T3, T4, T5, T6, T7, T8>(MathIdentifier id, T1 p1, T2 p2, T3 p3, T4 p4, T5 p5, T6 p6, T7 p7, T8 p8)
{
return(_mapper.GetFactory <T, T1, T2, T3, T4, T5, T6, T7, T8>(id).GetInstance(p1, p2, p3, p4, p5, p6, p7, p8));
}
public static T GetSpecificInstance <T, T1, T2, T3, T4, T5>(MathIdentifier id, T1 p1, T2 p2, T3 p3, T4 p4, T5 p5)
{
return(_mapper.GetFactory <T, T1, T2, T3, T4, T5>(id).GetInstance(p1, p2, p3, p4, p5));
}
public static T GetSpecificInstance <T, T1, T2>(MathIdentifier id, T1 p1, T2 p2)
{
return(_mapper.GetFactory <T, T1, T2>(id).GetInstance(p1, p2));
}