public interface PropositionCheckedVisitable
| Modifier and Type | Method and Description |
|---|---|
void |
acceptChecked(PropositionCheckedVisitor propositionCheckedVisitor)
Performs some processing on a proposition that might throw a
checked exception.
|
void acceptChecked(PropositionCheckedVisitor propositionCheckedVisitor) throws ProtempaException
propositionCheckedVisitor - ProtempaExceptionCopyright © 2012–2018 Emory University. All rights reserved.