- //_id_0 = n_terminal.getId();
- //_id_1 = c_terminal.getId();
- _data = n_terminal.getId() + BinaryDomainCombination.SEPARATOR + c_terminal.getId();
- }
-
- public DirectedBinaryDomainCombination( final String n_terminal, final String c_terminal ) {
- this( new DomainId( n_terminal ), new DomainId( c_terminal ) );