package com.jesusbornd.deuteronomy;
import java.util.ArrayList;
import java.util.List;

public class Deuteronomy_24_Chapter_Lv3 {
    enum MarriageState { MARRIED, DIVORCED, REMARRIED }

    record StateEntry(String from, String to) {}

    static final List<StateEntry> IRREVERSIBLE = List.of(
        new StateEntry("REMARRIED", "MARRIED")
    );

    static boolean canRestore(MarriageState current, MarriageState target) {
        return IRREVERSIBLE.stream().noneMatch(e ->
            e.from().equals(current.name()) && e.to().equals(target.name()));
    }

    public static void main(String[] args) {
        System.out.println("DIVORCED → MARRIED:   " + canRestore(MarriageState.DIVORCED,  MarriageState.MARRIED));
        System.out.println("REMARRIED → MARRIED:  " + canRestore(MarriageState.REMARRIED, MarriageState.MARRIED));
    }
}

IRREVERSIBLE = {("REMARRIED", "MARRIED")}

def can_restore(current, target):
    return (current, target) not in IRREVERSIBLE

if __name__ == "__main__":
    print("DIVORCED → MARRIED:  ", can_restore("DIVORCED",  "MARRIED"))
    print("REMARRIED → MARRIED: ", can_restore("REMARRIED", "MARRIED"))