//
//  MPNegatedTerm.h
//  MathKit
//
//  Created by Kim Wittenburg on 22.11.14.
//  Copyright (c) 2014 Kim Wittenburg. All rights reserved.
//

#import "MPTerm.h"


/*!
 @header
 This file contains the <code>MPNegatedTerm</code> class.
 */



@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
