Subversion Repositories wimsdev

!set methtit=·´Ö¤·¨
!set methparmtype=parm predicate nocomma >
!set methparmrelax=1
!set methhelp=°Ñ¼ÙÉèÓëÄ¿±êÈ¡·ñ¶¨:\
¼´°Ñ A \(=>) B ÖØд³É not(A) \(=>) not(B)).\
<p>\
Äã¿ÉÒÔÀûÓÃÕâ¸ö·½·¨µ¼³öì¶ÜµÃµ½Ö¤Ã÷.

!if $wims_read_parm iswordof form check
 !goto $wims_read_parm
!endif

!if fixedgoal iswordof $m_options
 !set error1=fixedgoal
 !exit
!endif

!set n_=!linecnt $m_goal
!if $n_>1
 !set error1=Ä¿Ç°Çé¿öÏÂÄãÓм¸¸öÄ¿±ê!\
 ·´Ö¤·¨Ö»ÄÜÓÃÓÚΨһµÄÄ¿±ê.\
ÇëÏÈ·ÖÀëÄ¿±ê.
 !exit
!endif
!if $n_<1
 !set error1=ÄãûÓÐÄ¿±ê¿ÉÊ©Ðз´Ö¤.
 !exit
!endif

!exit
:form
 !set i_=!linecnt $mtobj1
 !if $i_>0
  ¶Ô¼ÙÉè
  !set ch_optional=ÎÞ
  !read deduc/methparm.phtml 1 
  ÓëÄ¿±ê \($m_goal) È¡·ñ¶¨.
  !set methremark=Ñ¡Ôñ "¼ÙÉè=¿Õ" ÒÔÓùéÃý·¨ÂÛÖ¤.
 !else
  ¶ÔÄ¿±ê \($m_goal)&nbsp;È¡·ñ¶¨: ÓùéÃý·¨ÂÛÖ¤.
 !endif
!exit
:check
 !if contradiction notwordof $m_goal
  newobject0=!exec mathexp not\
$m_goal
  oldobject=0
 !else
  !reset newobject, newobject0
 !endif
 !if $methparm1=$empty or $methparm1<1
  !if contradiction iswordof $m_goal
   error=ûÓмÙÉèµÄÇéÐÎÏ·´Ö¤µ¼ÖÂì¶ÜÊÇÎÞÒâÒåµÄ!
   !exit
  !endif
  newgoal=ì¶Ü
  methexp=·´Ö¤
 !else
  obj=!line $methparm1 of $mtobj1
  d=!item 1 of $obj
  l=!word 1 of $d
  obj=!item 2 to -1 of $obj
  m_context=!replace line number $l by $ in $m_context
  m_context=!nonempty lines $m_context
  newgoal=!exec mathexp not\
$obj
  methexp=¶Ô \($obj) ·´Ö¤
 !endif
 m_goal=$newgoal
 !read deduc/objects.combine
!exit