Sono quasi sicuro di avere un ciclo infinito causato dal mio caso "predefinito". Sto usando la ricorsione in tutti i casi. Quale è destinato a essere, ma solo se la Prop può essere semplificata. Non appena la Prop non può essere semplificata, dovrebbe restituire il tutto.Codice scala infinita scala
Non vedo come posso testare per ulteriori semplificazioni. (Non sono autorizzato ad usare altre librerie, come suggerito nel canale #scala di freenodes).
Qualcuno può spiegare se è il "caso _" che causa il ciclo e come risolverlo? Come posso verificare la possibile semplificazione senza fare un ciclo?
Grazie in anticipo!
Vedo cosa intendi, anche se il mio compito mi dice esplicitamente di usare un oggetto compagno. Prop.simplify (Prop): Prop che restituisce una proposizione semplificata ed equivalente applicando ripetutamente la legge di de Morgan e la doppia elliminazione della negazione all'argomento Proposition La proposta risultante deve soddisfare i requisiti descritti di seguito. Inoltre, il tuo suggerimento non corrisponde completamente i miei docenti rispondono (abbiamo un sistema per eseguire il nostro lavoro contro un test) Vedi: http://pastebin.com/WDuQKreD (anche per il merluzzo completo e al momento) Grazie comunque! – Sander
@Sander: Devi solo aggiungere dei casi per "semplificare" per le altre operazioni (inoltre, mi dispiace non aver capito che questo è compito a casa - non sarei stato così diretto nella mia risposta). –
@Sander: Inoltre, entrambi ereditano da una classe case e hanno una classe case con un costruttore vuoto sono di cattiva forma. 'tratto Prop; l'oggetto case True estende il Prop. è migliore. –