algo: trim for Z-Automata

alib2algo/src/automaton/simplify/Trim.cpp

 #include "Trim.h"
+#include "automaton/TA/ArcFactoredDeterministicZAutomaton.h"
 #include <automaton/FSM/ExtendedNFA.h>
 #include <automaton/FSM/CompactNFA.h>
@@ -58,4 +59,10 @@ auto TrimNFTA = registration::AbstractRegister < automaton::simplify::Trim, auto
 @param fta finite automaton or finite tree automaton to trim\n\
 @return the trimmed automaton equivalent to @p fta" );
+auto TrimDAFZA = registration::AbstractRegister < automaton::simplify::Trim, automaton::ArcFactoredDeterministicZAutomaton < >, const automaton::ArcFactoredDeterministicZAutomaton < > & > ( automaton::simplify::Trim::trim, "dafza" ).setDocumentation (
+"Removes inaccessible and useless states from the given automaton. Uses first the @sa UselessStatesRemover and next @sa UnreachableStatesRemover in the process.\n\
+\n\
+@param dafza deterministic arc factored z-automaton\n\
+@return the trimmed automaton equivalent to @p dafza" );
+
 } /* namespace */