Searched refs:isAntisymmetric (Results 1 – 8 of 8) sorted by relevance
301 static bool isAntisymmetric(Kind k, Kind& dk);
814 bool TermUtil::isAntisymmetric(Kind k, Kind& dk) in isAntisymmetric() function in CVC4::theory::quantifiers::TermUtil
368 public boolean isAntisymmetric() throws BadMatrixFormatException { in isAntisymmetric() method in GIMatrix
915 |moebius| |isAntiChain?| |isChain?| |isAntisymmetric?| |completeTransitivity|
6257 (|isChain?| (((|Boolean|) $) 6)) (|isAntisymmetric?| (((|Boolean|) $) 6))11146 (|isChain?| (((|Boolean|) $) 6)) (|isAntisymmetric?| (((|Boolean|) $) 6))14314 (|isChain?| (((|Boolean|) $) 6)) (|isAntisymmetric?| (((|Boolean|) $) 6))30618 (|isChain?| (((|Boolean|) $) NIL)) (|isAntisymmetric?| (((|Boolean|) $) NIL))31420 (|isChain?| (((|Boolean|) $) NIL)) (|isAntisymmetric?| (((|Boolean|) $) NIL))121213 (|isAntisymmetric?| (((|Boolean|) $) 115)) (|initial| (($) 51))121288 (SIGNATURE |isAntisymmetric?| ((|Boolean|) |#1|))121432 (SIGNATURE |isAntisymmetric?| ((|Boolean|) |#1|))121630 (|isChain?| (((|Boolean|) $) 6)) (|isAntisymmetric?| (((|Boolean|) $) 6))121782 (|isAntisymmetric?| (*1 *2 *1)[all …]
44146 (|isChain?| . 984592) (|isAntisymmetric?| . 984468)
32636 (|isAntisymmetric?|32725 (|isAntisymmetric?|
745 isAntisymmetric? : (s : %) -> Boolean1360 isAntisymmetric?(s : %) : Boolean ==