コード例 #1
0
ファイル: ImpliesFormula.java プロジェクト: narechiga/proteus
 public Set<RealVariable> getFreeVariables() {
   HashSet<RealVariable> freeVariables = new HashSet<RealVariable>();
   freeVariables.addAll(getLHS().getFreeVariables());
   freeVariables.addAll(getRHS().getFreeVariables());
   return freeVariables;
 }
コード例 #2
0
ファイル: ImpliesFormula.java プロジェクト: narechiga/proteus
 public Set<RealVariable> getDynamicVariables() {
   HashSet<RealVariable> dynamicVariables = new HashSet<RealVariable>();
   dynamicVariables.addAll(getLHS().getDynamicVariables());
   dynamicVariables.addAll(getRHS().getDynamicVariables());
   return dynamicVariables;
 }
コード例 #3
0
ファイル: ImpliesFormula.java プロジェクト: narechiga/proteus
 public Set<RealVariable> getBoundVariables() {
   HashSet<RealVariable> boundVariables = new HashSet<RealVariable>();
   boundVariables.addAll(getLHS().getBoundVariables());
   boundVariables.addAll(getRHS().getBoundVariables());
   return boundVariables;
 }