Skip to content
Snippets Groups Projects
Commit 4242e6bb authored by Yingjian Wang's avatar Yingjian Wang
Browse files

Upload New File

parent d3d9a1aa
No related branches found
No related tags found
No related merge requests found
import java.util.*;
aspect Connective{
uncache Connective.eval();
syn boolean Connective.eval();
eq Conjunction.eval(){
return this.getLeft().eval() && this.getRight().eval();
}
eq Disjunction.eval(){
return this.getLeft().eval() || this.getRight().eval();
}
eq Implication.eval(){
return (!this.getLeft().eval()) || this.getRight().eval();
}
eq Negation.eval()= !getConnective().eval();
eq Atom.eval(){
return this.getRelation().eval();
}
}
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment