public MaxSAT . MaxSATResult solve ( final MaxSATHandler handler ) { if ( this . result != UNDEF ) return this . result ; if ( this . solver . currentWeight ( ) == 1 ) this . solver . setProblemType ( MaxSAT . ProblemType . UNWEIGHTED ) ; else this . solver . setProblemType ( MaxSAT . ProblemType . WEIGHTED ) ; this . result = this . solver . search ( handler ) ; return this . result ; }
Solves the formula on the solver and returns the result .