<?php

namespace alveolata\term;

// require_once(DIR_ALVEOLATA . '/definitions.php');
require_once(DIR_ALVEOLATA . '/term/interface.php');


/**
 * @author Christian Fraß <frass@greenscale.de>
 */
class class_variable implements interface_term
{
	
	/**
	 * @var string
	 * @author Christian Fraß <frass@greenscale.de>
	 */
	public $name;
	
	
	/**
	 * @param string $name
	 * @author Christian Fraß <frass@greenscale.de>
	 */
	public function __construct(
		string $name
	)
	{
		$this->name = $name;
	}
	
	
	/**
	 * @implementation
	 * @author Christian Fraß <frass@greenscale.de>
	 */
	public function clone_(
	) : interface_term
	{
		return (
			new class_variable(
				$this->name
			)
		);
	}
		
}