这就是为什么我们说不空。
公式的可满足性是其相应断言的意义集不空。
Satisfibility of the logical formula is that meaning set corresponding to it is not empty.
对不起，我那时不空。
无事心不空，有事心不乱，大事心不畏，小事心不慢。
Nothing not empty heart, fine heart not disorderly, big heart not afraid of, small heart is not slow.
自己的收获不是沉甸甸的，但是四十年的“行囊”不空。
Their harvest is not heavy, but four decades of "luggage" is not empty.
吸水率小，很容易在砂浆中得到控制，收缩率小，不空鼓开裂，有稳定的热工性能与力学性能，并且也相对提高了砂浆的使用寿命。
Low water absorption, easily controlled in mortar, low shrinkage, no hollowing and cracking, stable thermal property and mechanical property, increase the mortar service life.
空替代出现在标准化策略中用来连接其它非空策略，它只是说明不采用任何行动是正确的。
The empty alternative can appear in a Normalized policy in conjunction with other non-empty alternatives. It simply states that taking no action is a valid choice.
在大多数情况下，发送者不希望得到一个空的结果。
In most cases, the sender would not be expecting an empty result.
XML文档可以使用内部不包含任何内容的空标记，这些标记可以表示为单个标记，而不是一组开始和结束标记。
An XML document can have some empty tags that do not have anything inside and can be expressed as a single tag instead of as a set of beginning and end tags.
圆括号内是空的，表示了这种方法不包含任何参数。
The parentheses are empty, which indicates that the method takes no arguments.
对于表中与谓词不匹配的每一行，返回一个包含空的xml序列的行。
For each row in the table which doesn't match the predicate, a row containing an empty XML sequence is returned.
投资者出现在本来是空的土地上也不奇怪了。
It is not even uncommon for investors to arrive on land that was supposedly empty.
不，不是满的那个。是空的那个。
如果不覆盖它们，它们将抛出unsupportedactionexception或者提供另一种标准的默认行为，比如返回一个空数组或null。
If they are not overridden, they will throw UnsupportedActionException or provide another standard default behavior, such as returning an empty array or null.
技巧在于：不包含空类作为成员，Boost中的pair结构是从这个空类中派生出来的。
Here's the trick: Instead of containing the empty class as a member, the pair structure in Boost derives from the empty class.
如果列不包含空值，则SQL使用一个包含一个0的小整数；反之则包含- 1。
SQL USES a small integer which contains a zero if the column is not null or -1 if the column contains nulls.
因此，在这种情况下，我们将创建两个case类，一个不包含任何内容Empty，这表示MailBox为空，另一个包含消息数据Full。
Therefore, in this situation, we create two case classes, one containing nothing (empty) that indicates the MailBox is empty and one containing the data (Full) with the message data in it.
当被告知输出不超过n个字节时，snprintf保证会创建一个长度不超过 n-1的字符串，字符串最后是一个空结束符。
When told to print no more than n bytes, snprintf guarantees that it creates a string of length no more than n-1, with a null terminator at the end of the string.
第二个不包含（也许是因为客户不提供该信息）；因此，它的emailList 为空。
The second contains none (perhaps because the customer didn't supply this information); as a result, its emailList is empty.
那就是说明了，如果我们不眷顾我们家里的人，我们的信仰告白就是空的。
That's why our profession of faith is hollow if we are not caring for our own family.
他不许空的诺言，也不找怯懦的借口，说他的手被世界上比他自己更强大的力量束缚住了。
He made no empty promises, nor the craven excuse that his hands were tied by more powerful forces in the world than himself.
突然，我想到了一个好办法：记笔记时我为什么不写一行空一行呢？
Suddenly I hit upon an idea: why not leave every other line on my note paper blank?
麦克斯：不，这只是个兼职，是个插空的活儿。应付一下花销罢了。你喜欢当律师吗？
Max: No, this is part-time. This is a fill-in job. Pay the bills. How do you like to be a lawyer?
第一行输入包含一个字符串。它一定一个非空，只含小写字母，且长度不超过100的串。
The first input line contains the string. It's guaranteed, that the string is non-empty, consists of lower-case Latin letters, and its length doesn't exceed 100.
它满了吗？不，它不是。它是空的。
空粉袋，站不直。
空粉袋，站不直。
应用推荐