public class AxiomJustification extends Object implements RuleJustification
Modifier and Type | Field and Description |
---|---|
static AxiomJustification |
INSTANCE |
Modifier | Constructor and Description |
---|---|
private |
AxiomJustification() |
public static final AxiomJustification INSTANCE
public boolean isAxiomJustification()
isAxiomJustification
in interface RuleJustification