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) È¡·ñ¶¨: ÓùéÃý·¨ÂÛÖ¤.

 !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