Package: EpistemicAxiomRemover
EpistemicAxiomRemover
name | instruction | branch | complexity | line | method | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
EpistemicAxiomRemover(Connector, ValueFactory) |
|
|
|
|
|
||||||||||||||||||||
lambda$remove$0(URI) |
|
|
|
|
|
||||||||||||||||||||
remove(AbstractAxiomDescriptor) |
|
|
|
|
|
||||||||||||||||||||
remove(NamedResource, Map, URI) |
|
|
|
|
|