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)); }