public void check_postcondition() {
Player playerProponent = DialogueGame.this.getProponent();
CommitmentStore commitmentStoreStore = playerProponent.getStore();
Set setContent = commitmentStoreStore.getContent();
boolean bIsEmpty = CollectionUtilities.isEmpty(setContent);
Player playerOpponent = DialogueGame.this.getOpponent();
CommitmentStore commitmentStoreStore0 = playerOpponent.getStore();
Set setContent0 = commitmentStoreStore0.getContent();
boolean bIsEmpty0 = CollectionUtilities.isEmpty(setContent0);
boolean bAnd = bIsEmpty && bIsEmpty0;
if (!bAnd) {
System.err.println(
"postcondition 'postcondition' failed for object " + DialogueGame.this);
}
}
public void check_precondition() {
Player playerProponent = DialogueGame.this.getProponent();
CommitmentStore commitmentStoreStore = playerProponent.getStore();
Set setContent = commitmentStoreStore.getContent();
Proposition propositionThesis = DialogueGame.this.thesis;
MoveContent moveContentGetNegation = propositionThesis.getNegation();
boolean bIncludes = CollectionUtilities.includes(setContent, moveContentGetNegation);
Player playerOpponent = DialogueGame.this.getOpponent();
CommitmentStore commitmentStoreStore0 = playerOpponent.getStore();
Set setContent0 = commitmentStoreStore0.getContent();
Proposition propositionThesis0 = DialogueGame.this.thesis;
boolean bIncludes0 = CollectionUtilities.includes(setContent0, propositionThesis0);
boolean bOr = bIncludes || bIncludes0;
if (!bOr) {
System.err.println("precondition 'precondition' failed for object " + DialogueGame.this);
}
}