public FltGenerate( Solver solver, FltVar[] list ) : base(solver) { m_FltVarList = list; m_SelectVar = FltVarSelector.CardinalityMin; m_Search = new FltSearchDichotomize(); }
public FltGenerate(Solver solver, FltVar[] list, FltVarSelector.Select select, FltSearch search) : base(solver) { m_FltVarList = list; m_SelectVar = select; m_Search = search; }
public FltGenerate( Solver solver, FltVar[] list, FltVarSelector.Select select, FltSearch search ) : base(solver) { m_FltVarList = list; m_SelectVar = select; m_Search = search; }