A B C D E F G H I J L M N O P R S T U V W X

X

XMLCSPReader - Class in org.sat4j.reader

XMLCSPReader(ISolver) - Constructor for class org.sat4j.reader.XMLCSPReader

XNOR - Static variable in class org.sat4j.reader.ExtendedDimacsReader

XNOR - Static variable in class org.sat4j.tools.ExtendedDimacsArrayReader

XNOR - Static variable in class org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter

XOR - Static variable in class org.sat4j.reader.ExtendedDimacsReader

XOR - Static variable in class org.sat4j.tools.ExtendedDimacsArrayReader

XOR - Static variable in class org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter

xor(int, IVecInt) - Method in class org.sat4j.tools.GateTranslator

translate y <=> x1 xor x2 xor ... xor xn into clauses.