Linear Word - Level Decision Diagrams