/// <summary>
/// Initializes a new instance of the
/// <see cref="MaximalNonzeroEquivalenceClassRepresentativeComputationSettings"/> class
/// using a specified maximum path length and early termination condition.
/// </summary>
/// <param name="cancellativityFailureDetection">A
/// <see cref="CancellativityTypes"/> value indicating which types of cancellativity to
/// detect failures of.</param>
/// <param name="maxPathLength">The maximum path length in arrows (i.e., the value such
/// that if a path of length greater than the value is encountered during the analysis, the
/// analysis is to be aborted), or a negative value if no maximum path length is to be
/// used.</param>
/// <param name="earlyTerminationConditions">A value of the
/// <see cref="Analysis.EarlyTerminationConditions"/> enum indicating the conditions on
/// which the analysis should terminate early.</param>
public MaximalNonzeroEquivalenceClassRepresentativeComputationSettings(
CancellativityTypes cancellativityFailureDetection,
int maxPathLength,
EarlyTerminationConditions earlyTerminationConditions)
: base(cancellativityFailureDetection, maxPathLength, earlyTerminationConditions)
{
}
/// <summary>
/// Initializes a new instance of the
/// <see cref="SemimonomialUnboundQuiverAnalysisSettings"/> class using a specified maximum
/// path length and early termination condition.
/// </summary>
/// <param name="cancellativityFailureDetection">A
/// <see cref="CancellativityTypes"/> value indicating which types of cancellativity to
/// detect failures of.</param>
/// <param name="maxPathLength">The maximum path length in arrows (i.e., the value such
/// that if a path of length greater than the value is encountered during the analysis, the
/// analysis is to be aborted), or a negative value if no maximum path length is to be
/// used.</param>
/// <param name="earlyTerminationConditions">A value of the
/// <see cref="Analysis.EarlyTerminationConditions"/> enum indicating the conditions on
/// which the analysis should terminate early.</param>
public SemimonomialUnboundQuiverAnalysisSettings(
CancellativityTypes cancellativityFailureDetection,
int maxPathLength,
EarlyTerminationConditions earlyTerminationConditions)
: base(cancellativityFailureDetection, maxPathLength, earlyTerminationConditions)
{
}
private MaximalNonzeroEquivalenceClassRepresentativeComputationSettings GetSettings(
CancellativityTypes cancellativityFailureDetection,
int maxPathLength = -1,
EarlyTerminationConditions earlyTerminationCondition = EarlyTerminationConditions.None)
{
return(new MaximalNonzeroEquivalenceClassRepresentativeComputationSettings(cancellativityFailureDetection, maxPathLength, earlyTerminationCondition));
}
/// <summary>
/// Initializes a new instance of the <see cref="QPAnalysisSettings"/> class using a
/// specified maximum path length and early termination condition.
/// </summary>
/// <param name="cancellativityFailureDetection">A
/// <see cref="CancellativityTypes"/> value indicating which types of cancellativity to
/// detect failures of.</param>
/// <param name="maxPathLength">The maximum path length in arrows (i.e., the value such
/// that if a path of length greater than the value is encountered during the analysis, the
/// analysis is to be aborted), or a negative value if no maximum path length is to be
/// used.</param>
/// <param name="earlyTerminationConditions">A value of the
/// <see cref="Analysis.EarlyTerminationConditions"/> enum indicating the conditions on
/// which the analysis should terminate early.</param>
public QPAnalysisSettings(
CancellativityTypes cancellativityFailureDetection,
int maxPathLength,
EarlyTerminationConditions earlyTerminationConditions)
: base(cancellativityFailureDetection, maxPathLength, earlyTerminationConditions)
{
}
private QPAnalysisSettings GetQPAnalysisSettings(
bool detectNonCancellativity = false,
int maxPathLength = -1,
EarlyTerminationConditions earlyTerminationCondition = EarlyTerminationConditions.None)
{
var cancellativityFailureDetection = detectNonCancellativity ? CancellativityTypes.Cancellativity : CancellativityTypes.None;
return(new QPAnalysisSettings(cancellativityFailureDetection, maxPathLength, earlyTerminationCondition));
}
private static QPAnalysisSettings CreateSettings(int maxPathLength, EarlyTerminationConditions earlyTerminationConditions)
{
return(new QPAnalysisSettings(CancellativityTypes.Cancellativity, maxPathLength, earlyTerminationConditions));
}
