Class TestXtfOutput

java.lang.Object
ch.so.agi.mcp.model.TestXtfOutput

public final class TestXtfOutput extends Object
Output-only projection after evidence calculation. Only known verification case lists are touched.