o rZh'@sddlmZmZddlmZddlmZeGdddedZGdddeZeGd d d Z Gd d d eZ Gd ddeZ dS))ABCMetaabstractmethod)total_ordering)raise_unorderable_typesc@sxeZdZdZeddZeddZeddZedd Zed d Z ed d Z ddZ ddZ ddZ ddZdS)AbstractCCGCategoryz; Interface for categories in combinatory grammars. cCdS)z< Returns true if the category is primitive. Nselfrr;/var/www/auris/lib/python3.10/site-packages/nltk/ccg/api.py is_primitivez AbstractCCGCategory.is_primitivecCr)zI Returns true if the category is a function application. Nrr rrr is_functionr zAbstractCCGCategory.is_functioncCr)z= Returns true if the category is a variable. Nrr rrr is_var r zAbstractCCGCategory.is_varcCr)z Takes a set of (var, category) substitutions, and replaces every occurrence of the variable with the corresponding category. Nr)r substitutionsrrr substitute&r zAbstractCCGCategory.substitutecCr)z Determines whether two categories can be unified. - Returns None if they cannot be unified - Returns a list of necessary substitutions if they can. Nrr otherrrr can_unify-r zAbstractCCGCategory.can_unifycCsdSNrr rrr __str__6szAbstractCCGCategory.__str__cC|j|juo |j|jkSr __class___comparison_keyrrrr __eq__:  zAbstractCCGCategory.__eq__cC ||k Srrrrrr __ne__@ zAbstractCCGCategory.__ne__cC>t|ts td|||j|jur|j|jkS|jj|jjkSN<) isinstancerrrr__name__rrrr __lt__C    zAbstractCCGCategory.__lt__cC.z|jWStyt|j|_|jYSwr_hashAttributeErrorhashrr rrr __hash__K    zAbstractCCGCategory.__hash__N)r$ __module__ __qualname____doc__rr rrrrrrrr%r,rrrr rs$       r) metaclassc@sneZdZdZdZdddZeddZedd Zd d Z d d Z ddZ ddZ ddZ ddZddZdS)CCGVarz Class representing a variable CCG category. Used for conjunctions (and possibly type-raising, if implemented as a unary rule). rFcCs||_||_|j|_dS)zInitialize a variable (selects a new identifier) :param prim_only: a boolean that determines whether the variable is restricted to primitives :type prim_only: bool N)new_id_id _prim_onlyr)r Z prim_onlyrrr __init__\s  zCCGVar.__init__cCs|jd|_|jdS)zT A class method allowing generation of unique variable identifiers. _maxIDclsrrr r3gs  z CCGVar.new_idcCs d|_dS)Nrr8r:rrr reset_idos zCCGVar.reset_idcCrNFrr rrr r szCCGVar.is_primitivecCrr=rr rrr rvr>zCCGVar.is_functioncCrNTrr rrr ryr>z CCGVar.is_varcCs"|D] \}}||kr|Sq|S)zlIf there is a substitution corresponding to this variable, return the substituted category. r)r rvarcatrrr r|s zCCGVar.substitutecCs|s|js ||fgSdS)zWIf the variable can be replaced with other a substitution is returned. N)r r5rrrr rs zCCGVar.can_unifycC|jSr)r4r rrr idz CCGVar.idcCsdt|jS)NZ_var)strr4r rrr rszCCGVar.__str__N)F)r$r.r/r0r9r6 classmethodr3r<r rrrrrCrrrrr r2Ss     r2c@seZdZdZddZddZddZdd Zd d Zd d Z ddZ ddZ ddZ ddZ ddZddZddZddZddZd d!Zd"S)# Directionz Class representing the direction of a function application. Also contains maintains information as to which combinators may be used with the category. cC||_||_|t|f|_dSr)_dir_restrstupler)r dir restrictionsrrr r6zDirection.__init__cC |jdkS)N/rIr rrr is_forwardrzDirection.is_forwardcCrO)N\rQr rrr is_backwardrzDirection.is_backwardcCrBrrQr rrr rLrDz Direction.dircCrB)a8A list of restrictions on the combinators. '.' denotes that permuting operations are disallowed ',' denotes that function composition is disallowed '_' denotes that the direction has variable restrictions. (This is redundant in the current implementation of type-raising) rJr rrr restrsszDirection.restrscCrON_rUr rrr is_variablerzDirection.is_variablecCsD|r d|fgS|rd|fgS||kr gSdSrW)rYrVrrrr rszDirection.can_unifycCs6|s|S|D]\}}|dkrt|j|Sq|SrW)rYrGrI)r subsr@rVrrr rs zDirection.substitutecC d|jvS)N,rUr rrr can_composerzDirection.can_composecCr[)N.rUr rrr can_crossrzDirection.can_crosscCrrrrrrr rrzDirection.__eq__cCrrrrrrr rrzDirection.__ne__cCr r!)r#rGrrrr$rrrr r%r&zDirection.__lt__cCr'rr(r rrr r,r-zDirection.__hash__cCs*d}|jD]}|d|}q|j|S)N%s)rJrI)r Zr_strrrrr rs zDirection.__str__cCs"|jdkr td|jStd|jS)NrPrS)rIrGrJr rrr __neg__s   zDirection.__neg__N)r$r.r/r0r6rRrTrLrVrYrrr]r_rrr%r,rrcrrrr rGs$    rGc@s\eZdZdZgfddZddZddZdd Zd d Zd d Z ddZ ddZ ddZ dS)PrimitiveCategoryz Class representing primitive categories. Takes a string representation of the category, and a list of strings specifying the morphological subcategories. cCrHr)_categrJrKr)r categrMrrr r6rNzPrimitiveCategory.__init__cCrr?rr rrr r r>zPrimitiveCategory.is_primitivecCrr=rr rrr r r>zPrimitiveCategory.is_functioncCrr=rr rrr r r>zPrimitiveCategory.is_varcCrBrrUr rrr rVrDzPrimitiveCategory.restrscCrBr)rer rrr rfrDzPrimitiveCategory.categcCs|Srr)r rZrrr rr>zPrimitiveCategory.substitutecCsT|sdS|r||fgS||kr(|jD] }||vr%dSqgSdSr)r rrfrJrV)r rrestrrrr rs   zPrimitiveCategory.can_unifycCs<|jgkr d|jSdddd|jD}|j|S)Nraz[%s]r\css|]}t|VqdSr)repr).0rbrrr +sz,PrimitiveCategory.__str__..)rJrejoin)r rMrrr r(s  zPrimitiveCategory.__str__N) r$r.r/r0r6r rrrVrfrrrrrrr rds  rdc@s`eZdZdZddZddZddZdd Zd d Zd d Z ddZ ddZ ddZ ddZ dS)FunctionalCategoryz Class that represents a function application category. Consists of argument and result categories, together with an application direction. cCs"||_||_||_|||f|_dSr)_res_argrIr)r resargrLrrr r66szFunctionalCategory.__init__cCrr=rr rrr r <r>zFunctionalCategory.is_primitivecCrr?rr rrr r?r>zFunctionalCategory.is_functioncCrr=rr rrr rBr>zFunctionalCategory.is_varcCs2|j|}|j|}|j|}t|||jSr)rmrrIrnrl)r rZZsub_resZsub_dirZsub_argrrr rGs   zFunctionalCategory.substitutecCsz|r ||fgS|r;|j|}|j|}|dur;|dur;|j|| |}|dur;||SdSr) rrrmrrorIrLrnrrp)r rsasdsbrrr rOs zFunctionalCategory.can_unifycCrBr)rnr rrr rp\rDzFunctionalCategory.argcCrBr)rmr rrr ro_rDzFunctionalCategory.rescCrBrrQr rrr rLbrDzFunctionalCategory.dircCsd|j|j|jdS)N())rmrIrnr rrr reszFunctionalCategory.__str__N)r$r.r/r0r6r rrrrrprorLrrrrr rl/s  rlN) abcrr functoolsrZnltk.internalsrrr2rGrdrlrrrr s  DAe5