public static EncodingResult resultForCleaneLing ( final FormulaFactory f , final CleaneLing cleaneLing ) { return new EncodingResult ( f , null , cleaneLing ) ; }
Constructs a new result which adds the result directly to a given CleaneLing solver .