Class LinearLogic.Proposition

java.lang.Object

org.episteme.core.mathematics.logic.multivalued.LinearLogic.Proposition

Enclosing class:

LinearLogic

public static class LinearLogic.Proposition
extends Object

Represents a linear logic proposition with resource tracking.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Constructor Summary

Constructors

Constructor	Description
Proposition(String name, int uses)

Method Summary

Modifier and Type	Method	Description
boolean	canUse()
String	getName()
int	getUses()
String	toString()
void	use()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Proposition

public Proposition(String name,
 int uses)

Method Details

canUse

public boolean canUse()

use

public void use()

getUses

public int getUses()

getName

public String getName()

toString

public String toString()

Overrides:

toString in class Object