com.github.valid8j.metamor.PropositionPredicate Maven / Gradle / Ivy

Go to download

package com.github.valid8j.metamor;

import com.github.valid8j.pcond.core.Evaluable;
import com.github.valid8j.pcond.core.printable.PrintablePredicate;

import java.util.function.Predicate;

import static java.util.Collections.emptyList;

public class PropositionPredicate extends PrintablePredicate implements Evaluable.LeafPred {
  public static final PropositionPredicate INSTANCE = new PropositionPredicate();

  protected PropositionPredicate() {
    super(new Object(), emptyList(), () -> "evaluate", Proposition::evaluate);
  }

  @Override
  public Predicate predicate() {
    return super.predicate;
  }
}