/*
* Test method for {@link de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.RegularIFNetTransition#isDeclassificator()}.
*/
@Test
public void testIsDeclassificator() throws ParameterException {
// Get a simple standard SNet ...
IFNet sNet = IFNetTestUtil.createSimpleIFNet();
RegularIFNetTransition trans = (RegularIFNetTransition) sNet.getTransition("tIn");
assertFalse("A regular transtion seems to be a Declassificator", trans.isDeclassificator());
}
