public GenericPropagationTheorem(MathIdentifier id, MathIdentifier providedPropertyId, ImpliesProperty impliesProperty, BuildProperty buildProperty) { this.id = id; this.providedPropertyId = providedPropertyId; this.impliesProperty = impliesProperty; this.buildProperty = buildProperty; }
public GenericPropagationTheorem(MathIdentifier id, MathIdentifier providedPropertyId, ImpliesProperty impliesProperty, BuildProperty buildProperty) { this.id = id; this.providedPropertyId = providedPropertyId; this.impliesProperty = impliesProperty; this.buildProperty = buildProperty; }