Esempio n. 1
0
 /* (non-Javadoc)
  * @see JSHOP2.LTLExpression#applySubstitution(JSHOP2.Term[])
  */
 public LTLExpression applySubstitution(Term[] binding) {
   return new LTLNegation(operand.applySubstitution(binding));
 }