Archived
1

Added Documentation

This commit is contained in:
Kim Wittenburg
2014-12-17 22:04:49 +01:00
parent 8f1f730358
commit 7f6ee6e118
31 changed files with 1141 additions and 533 deletions

View File

@@ -13,10 +13,30 @@
@class MPNegatedTerm;
/*!
@class MPNegatedTerm
@abstract A negated term is a term whose value is multiplied by
<code>-1</code>.
*/
@interface MPNegatedTerm : MPTerm
/*!
@method initWithTerm:
@abstract Initializes a new negated term.
@param term
The term the receiver is to be initialized with.
@return A new negated term.
*/
- (instancetype)initWithTerm:(MPTerm *)term; /* designated initializer */
/*!
@property term
@abstract The receiver's term.
*/
@property (readonly, nonatomic, strong) MPTerm *term;
@end