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