<commit_before>package rogel.io.fopl.formulas;

import rogel.io.fopl.Expression;
import rogel.io.fopl.Substitution;

/**
 * False (or "bottom") in FOPL is a special kind of Formula, which is unique
 * because its value is always false.
 * @author recardona
 */
public class False extends Formula {

	/** The singleton instance of this class. */
	private static final False SINGLETON = new False();
	
	/**
	 * Gets the singleton Formula that represents False. This Formula is unique
	 * in that its value is always false.
	 * @return False, a Formula whose value is always false.
	 */
	public static False get() {
		return SINGLETON;
	}
	
	/** Private constructor for the False class. */
	private False() {
		super("false");
		this.value = false;
	}

	@Override
	public String toString() {
		return this.symbol.toString();
	}

	@Override
	public Expression replaceVariables(Substitution substitution) {
		return this; // False can't replace Variables.
	}
	
}
<commit_msg>Added methods to distinguish literal and atomic formulae.<commit_after>package rogel.io.fopl.formulas;

import rogel.io.fopl.Expression;
import rogel.io.fopl.Substitution;

/**
 * False (or "bottom") in FOPL is a special kind of Formula, which is unique
 * because its value is always false.
 * @author recardona
 */
public class False extends Formula {

	/** The singleton instance of this class. */
	private static final False SINGLETON = new False();
	
	/**
	 * Gets the singleton Formula that represents False. This Formula is unique
	 * in that its value is always false.
	 * @return False, a Formula whose value is always false.
	 */
	public static False get() {
		return SINGLETON;
	}
	
	/** Private constructor for the False class. */
	private False() {
		super("false");
		this.value = false;
	}

	@Override
	public String toString() {
		return this.symbol.toString();
	}

	@Override
	public Expression replaceVariables(Substitution substitution) {
		return this; // False can't replace Variables.
	}

	@Override
	public boolean isLiteral() {
		return true;
	}

	@Override
	public boolean isAtomic() {
		return true;
	}
	
}

{'fraction_non_alphanumeric': 0.09938183547313362, 'fraction_numerical': 0.0, 'mean_word_length': 3.603938730853392, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5379959', 'n_tokens_mistral': 652, 'n_tokens_neox': 600, 'n_words': 233}