/// <summary>Find assignment list which each assignment table make give proposition true</summary> /// <exception cref="InvaildPropositionException"></exception> /// <returns>Assignment list</returns> public static List <Dictionary <string, bool> > GetTrueAssignmentList(this Proposition expr) { return(logEngine.GetTrueAssignmentList(expr)); }